Skip to content

Fix #7387: Avoid comparing NoType with other types#7391

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-#7387
Oct 12, 2019
Merged

Fix #7387: Avoid comparing NoType with other types#7391
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-#7387

Commits

Commits on Oct 10, 2019