We should be able to write a MIR lint that gives us linear types wherever we want them. I hear they are most useful with unsafe code.