ronsor12 minutes ago
Before I read this, what is there about C3 [0] you don't like?
yoklov8 minutes ago
This is certainly copying off Rust's homework...
drgo38 minutes ago
reads more like a Wishlist rather than actual implementable specs.
nextaccountic5 minutes ago
every spec is implementable
some just delegate more or less to the implementation
nextaccountic2 minutes ago
that said, the borrowing part is incredibly short on details
i read trying to assess if it's more or less expressible than rust's current nll or the future polonius and honestly there's nothing there