Such structures may contain self-references, in which case the same location may be accessible through a pointer that is not based-on the noalias pointer. This is still grey area as far as language semantics are concerned, but checking for !Unpin as an indicator for self-referential sturctures seems like a good approach for the meantime. |
||
|---|---|---|
| .. | ||
| common_traits.rs | ||
| instance.rs | ||
| lib.rs | ||
| needs_drop.rs | ||
| ty.rs | ||