always normalize LoweredTy in the new solver
#120378
+60
−36
Merged