bdf7b74517
transmutability: shift abstraction boundary 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. r? `@compiler-errors` |
||
|---|---|---|
| .. | ||
| query | ||
| select | ||
| specialize | ||
| auto_trait.rs | ||
| coherence.rs | ||
| const_evaluatable.rs | ||
| dyn_compatibility.rs | ||
| effects.rs | ||
| engine.rs | ||
| fulfill.rs | ||
| misc.rs | ||
| mod.rs | ||
| normalize.rs | ||
| outlives_bounds.rs | ||
| project.rs | ||
| structural_normalize.rs | ||
| util.rs | ||
| vtable.rs | ||
| wf.rs | ||