e9eae28eee
Previously, `rustc_transmute`'s layout representations were genericized over `R`, a reference. Now, it's instead genericized over representations of type and region. This allows us to move reference transmutability logic from `rustc_trait_selection` to `rustc_transmutability` (and thus unit test it independently of the compiler), and — in a follow-up PR — will make it possible to support analyzing function pointer transmutability with minimal surgery. |
||
|---|---|---|
| .. | ||
| abstraction | ||
| alignment | ||
| arrays | ||
| enums | ||
| malformed-program-gracefulness | ||
| primitives | ||
| references | ||
| safety | ||
| structs | ||
| unions | ||
| assoc-bound.rs | ||
| assoc-bound.stderr | ||
| char.rs | ||
| char.stderr | ||
| dont-assume-err-is-yes-issue-126377.rs | ||
| dont-assume-err-is-yes-issue-126377.stderr | ||
| issue-101739-1.rs | ||
| issue-101739-1.stderr | ||
| issue-101739-2.rs | ||
| issue-101739-2.stderr | ||
| issue-110467.rs | ||
| issue-110892.rs | ||
| issue-110892.stderr | ||
| maybeuninit.rs | ||
| maybeuninit.stderr | ||
| region-infer.rs | ||
| region-infer.stderr | ||
| transmute-higher-ranked.rs | ||
| transmute-padding-ice.rs | ||
| uninhabited.rs | ||
| uninhabited.stderr | ||