Skip to content

Reimplement constraint merging for correctness #13292

Merged
odersky merged 4 commits intoscala:masterfrom
dotty-staging:fix-merge-constraint-3
Aug 18, 2021

Commits

Commits on Aug 13, 2021