bors c35035cefc Auto merge of #97025 - ouz-a:mini-derefer-generator, r=davidtwco ...

Add validation layer for Derefer

_Follow up work to #96549 #96116 #95857 #95649_

This adds validation for Derefer making sure it is always the first projection.

r? rust-lang/mir-opt

2022-05-30 20:06:25 +00:00

..

src

Auto merge of #97025 - ouz-a:mini-derefer-generator, r=davidtwco

2022-05-30 20:06:25 +00:00

Cargo.toml

Initial fixes on top of type interner commit

2022-05-28 11:38:22 -07:00