Repository navigation

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

Closed

lcnr wants to merge 4 commits into

rust-lang:masterfrom

lcnr:normalizes-to-projection-split-2

Closed

split `NormalizesTo` out of `Projection` 2#116262
lcnr wants to merge 4 commits into
rust-lang:masterfrom
lcnr:normalizes-to-projection-split-2

Commits on Sep 29, 2023
- add unused `NormalizesTo` predicate
  lcnr
  committed
  5bb8fcf
- self review
  lcnr
  committed
  79f6a71
- ok tests
  lcnr
  committed
  da0a329
Commits on Oct 2, 2023
- Update compiler/rustc_infer/src/traits/util.rs
  lcnr
  authored
  8567980