Deduplicate obligations in opt_normalize_projection_type
#90913
Closed
the8472 wants to merge 2 commits intorust-lang:masterfrom the8472:simplify-obligation-cause-hash
+156-59
opt_normalize_projection_type
#90913