Skip to content

Better error message if derived trait does not have companion#11077

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

Better error message if derived trait does not have companion#11077
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-#11072

Commits

Commits on Jan 12, 2021