always normalize LoweredTy
in the new solver
#120378
Merged
LoweredTy
in the new solver
#120378