Deduplicate projection sub-obligations#90423

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

Aaron1011:deduplicate-projectionAaron1011/rust:deduplicate-projectionCopy head branch name to clipboard