4 ms·
I believe I read australs borrow checker is rusts old version, possibly verbatim?
by galangalalgol 3y ago
I believe I read australs borrow checker is rusts old version, possibly verbatim?
- crabmusket 3y agoI 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...