don't normalize where-clauses when checking well-formedness#148477

lqd wants to merge 4 commits intorust-lang:mainrust-lang/rust:mainfrom

lqd:crater-wfchecklqd/rust:crater-wfcheckCopy head branch name to clipboard