Could a proposal similar to the following (previously posted to another thread in internals) help in this regard: [Pre-RFC] Another take at clarifying `unsafe` semantics - #31 by gbutler - Rust Internals
1 Like