Skip to content

Properly inline DottyPredef.locally#8636

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:properly-optimize-locally
Mar 31, 2020

Commits

Commits on Mar 30, 2020