Structurally normalize weak and inherent in new solver#114594

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

compiler-errors:new-solver-resolve-aliasescompiler-errors/rust:new-solver-resolve-aliasesCopy head branch name to clipboard