Skip to content

Refine criterion when we can skip an asSeenFrom#10982

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-#9352
Jan 6, 2021

Commits

Commits on Jan 3, 2021