emit ProjectionPredicate obligations when relating projections#96912

BoxyUwU wants to merge 3 commits into

rust-lang:masterrust-lang/rust:masterfrom

BoxyUwU:lots_of_obligationsBoxyUwU/rust:lots_of_obligationsCopy head branch name to clipboard