Ben Gamari authored May 10, 2020 and Marge Bot committed Jun 01, 2020

Strangely, the comment next to this code already alluded to the fact
that even simply eta-expanding will sacrifice laziness. It's quite
unclear how we regressed so far.

See #18151.