split `NormalizesTo` out of `Projection` 2#116262

Closed

lcnr wants to merge 4 commits intorust-lang:masterfrom

lcnr:normalizes-to-projection-split-2

Commits on Sep 29, 2023

Commits on Oct 2, 2023

Update compiler/rustc_infer/src/traits/util.rs
lcnr
authored