Type inference breakage in 1.80 has not been handled well

I wonder why the breakage was considered okay for that PR but not for, say, 73390.

6 Likes