I haven't seen anything like that. I don't think Rust ever had linear types. This blog post has an explanation of Austral's linear type checking: https://borre

I haven't seen anything like that. I don't think Rust ever had linear types. This blog post has an explanation of Austral's linear type checking: https://borretti.me/article/how-australs-linear-type-checker-works https://borretti.me/article/how-australs-linear-type-checker...