Linear Types and "Higher RAII\

Article: https://verdagon.dev/blog/higher-raii-uses-linear-types

Although not directly related to Rust, the concepts approached here showcase some amazing patterns that I would love to see be possible in Rust.

There has also been some discussion of "Must-Move Types", which can't be dropped.

To me, the patterns of "Cache Tokens", and "Owned Indexes" are absurdly awesome!

Tbh, just the idea of having destructors that can take parameters and return values is insane.

But, like any awesome feature, it has its drawbacks... What do you guys think?