Simon PJ says he prefers this fix to #17429 over banning eta-reduction for jumps entirely. Sure enough, this also works. Test case: simplCore/should_compile/T17429.hs (cherry picked from commit 61fe6c68) (cherry picked from commit 474a119c)