The non-nullness of NonNull is actually a validity invariant

ia0 / unsafe-mental-model

Mental model for unsafe in Rust

https://ia0.github.io/unsafe-mental-model/

8 stars 0 forks source link

Closed ia0 closed 7 months ago

ia0 commented 7 months ago

As pointed out here. Custom types with rustc annotations are not really their definition.