Backport "Attempt to beta reduce only if parameters and arguments have same shape" to 3.3 LTS#118

Merged

tgodzik merged 1 commit intolts-3.3from

backport-lts-3.3-21970

Mar 11, 2025

Commits on Mar 8, 2025

Attempt to beta reduce only if parameter and argument lists have same shape

odersky
authored and
tgodzik
committed