Skip to content

Allow eta-expansion of inline defs#18249

Merged
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:eta-inline
Jul 19, 2023
Merged

Allow eta-expansion of inline defs#18249
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:eta-inline

Commits

Commits on Jul 19, 2023