Normalize when equating dyn tails in MIR borrowck
#128694
+9
−17
Merged