Skip to content

Fix #1737: Enable GADT checking for objects#1740

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:fix-#1737
Nov 24, 2016

Commits

Commits on Nov 24, 2016