I agree its pretty niche; but i still think its better for users, who will probably never interact with it directly, than placing an arbitrary ceiling for certain functions
I may be out of my depth here as I've only casually used Rust, but this seems similar to Swift's proposed lifetime dependencies[1]. They're not in the type system formally so maybe they're closer to poloneius work
He doesn't have a criminal record though. He has an arrest record.
Granted the way the article explained it is pretty poor. I'm not totally clear what it was trying to say in that regard.
As an aside, Canada has a robust pardon system[0] that the US doesn't have. At least aside from the truly bizarre (at least to me) system of presidential pardons.
A pardon wipes your record of the specific crime completely FWIW.
A lot of work is going into move only types for swift to avoid the need of ARC in fundamental types like you mentioned. Classes aren’t going away but Apple is trying to evolve the language to cater to various performance needs.