Skip to content

Sound type avoidance (hopefully!)#14026

Merged
odersky merged 11 commits intoscala:masterfrom
dotty-staging:avoid-numbered-9
Dec 14, 2021
Merged

Sound type avoidance (hopefully!)#14026
odersky merged 11 commits intoscala:masterfrom
dotty-staging:avoid-numbered-9

Commits

Commits on Dec 2, 2021

Commits on Dec 14, 2021