Auto merge of #148477 - lqd:crater-wfcheck, r=lcnr,BoxyUwU

don't normalize where-clauses when checking well-formedness WfCheck checks where-clauses after normalization, and we'd like to see what would break if it didn't for rust-lang/trait-system-refactor-initiative#255 r? ghost

Author: bors