add section for normalization with the new solver#1731

BoxyUwU merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

lcnr:normalize-new-solverlcnr/rustc-dev-guide:normalize-new-solverCopy head branch name to clipboard