Propagate obligations through projection#33822

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

soltanmm:dot-vec-div-mag-squaresoltanmm/rust:dot-vec-div-mag-squareCopy head branch name to clipboard