Skip to content

Fix error detected in review of #18699#18781

Merged
Linyxus merged 3 commits intoscala:mainfrom
dotty-staging:followup-18699
Oct 30, 2023
Merged

Fix error detected in review of #18699#18781
Linyxus merged 3 commits intoscala:mainfrom
dotty-staging:followup-18699

Commits

Commits on Oct 28, 2023

Commits on Oct 29, 2023