Skip to content

Disallow local term references in staged types#16362

Merged
nicolasstucki merged 2 commits intoscala:mainfrom
dotty-staging:fix-16355
Jan 23, 2023

Commits

Commits on Jan 20, 2023

Commits on Jan 23, 2023