Skip to content

Apply box adaptation when checking overrides#16479

Merged
odersky merged 10 commits intoscala:mainfrom
dotty-staging:box-adapt-override
Jan 13, 2023

Commits

Commits on Jan 8, 2023

Commits on Jan 12, 2023