3 ms·
So you can call code that's not annotated with borrow checking annotations from code that is ?
by fluffything 7y ago
So you can call code that's not annotated with borrow checking annotations from code that is ?
- WalterBright 7y agoYes.
- fluffything 7y agoSo how do you guarantee that the caller invariants are upheld, e.g., that the unannotated code does not leak a pointer to a different thread, etc. ?
- mntmoss 7y agoHow do you do that in unsafe Rust?
- WalterBright 7y ago> So how do you guarantee that the caller invariants are upheld You can't, you have to trust the user. That's why one tries to minimize calling non-@live code.