Uplift the (new solver) canonicalizer into rustc_next_trait_solver
#117586
+477
−261
rustc_next_trait_solver
#117586