TypeRelating emit WellFormed, not generalize#148823

lcnr wants to merge 3 commits intorust-lang:mainrust-lang/rust:mainfrom

lcnr:generalize-no-subtypinglcnr/rust:generalize-no-subtypingCopy head branch name to clipboard