Deeply normalize in the new solver in WF#140672

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

compiler-errors:deeply-normalizecompiler-errors/rust:deeply-normalizeCopy head branch name to clipboard