I think all of this is great, except that you’re triggering my biggest pet peeve about linear types: the name :) Seriously, though, every time I hear it, I thi

I think all of this is great, except that you’re triggering my biggest pet peeve about linear types: the name :) Seriously, though, every time I hear it, I think “hehe, ‘linear’ is like ‘affine’ but even more restrictive. Math is great!” (I hope there’s some better justification for the name.) Maybe a more descriptive name like “must_consume” would be better? I very much appreciate how Rust took the concepts of covariant and contravariant types (and invariant types, which are not the same as what programmers think of as “invariants”) and made the user-facing feature be “phantom” instead. It’s much, much easier to remember what a phantom does than to remember which style of variance is “co” and which is “contra.”