Beta-reduce under blocks#10267

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:beta-reduce-under-blocksdotty-staging/dotty:beta-reduce-under-blocksCopy head branch name to clipboard