4 ms·
So 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. ?
by fluffything 7y ago
So 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.