Move, Destruct, Forget, and Rust

The previous post in this series was discussed in 2023

If you’ve been paying attention you’ll recognize how this would allow for linear types in Rust. It seems Niko doesn’t have much to say right now on many of the ergonomic downsides, e.g. panic analysis when holding a linear type, so I’ll look forward to that discussion in time.

But for this post I am a fan of the proposed hierarchy of trait bounds. I’ve never liked ?Sized, and this alternative seems far better. Would be lovely if an edition that added these could also make ?Sized warn in the linter for a better replacement.