Skip to content

Stable names for lambda lifted methods#18281

Merged
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:stable-lambda-lift
Jul 25, 2023

Commits

Commits on Jul 24, 2023