Don't try to label `ObligationCauseCode::CompareImplItem` for an RPITIT, since it has no name#127404

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:rpitit-entailment-false-positive

Jul 7, 2024

Commits on Jul 6, 2024

Don't try to label ObligationCauseCode::CompareImplItem for an RPITIT, since it has no name
compiler-errors
committed