Switch next solver to use a specific associated type for trait def id#145377

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

ChayimFriedman2:solver-def-idChayimFriedman2/rust:solver-def-idCopy head branch name to clipboard