Merge pull request #180 from smarter/fix/nosymbol-subtyping

 Fix subtyping of types without symbols

Author: odersky

src/dotty/tools/dotc/core/TypeComparer.scala

@@ -450,7 +450,7 @@ class TypeComparer(initctx: Context) extends DotClass {
           tp1 match {
             case tp1: NamedType =>
               val sym1 = tp1.symbol
-              (if (sym1 eq tp2.symbol) (
+              (if ((sym1 ne NoSymbol) && (sym1 eq tp2.symbol)) (
                    ctx.erasedTypes
                 || sym1.isStaticOwner
                 || { // Implements: A # X  <:  B # X

test/dotc/tests.scala

@@ -95,7 +95,7 @@ class tests extends CompilerTest {
   @Test def neg_t1843_variances = compileFile(negDir, "t1843-variances", xerrors = 1)
   @Test def neg_t2660_ambi = compileFile(negDir, "t2660", xerrors = 2)
   @Test def neg_t2994 = compileFile(negDir, "t2994", xerrors = 2)
-  @Test def neg_subtyping = compileFile(negDir, "subtyping", xerrors = 1)
+  @Test def neg_subtyping = compileFile(negDir, "subtyping", xerrors = 2)
   @Test def neg_variances = compileFile(negDir, "variances", xerrors = 2)
   @Test def neg_badAuxConstr = compileFile(negDir, "badAuxConstr", xerrors = 2)
   @Test def neg_typetest = compileFile(negDir, "typetest", xerrors = 1)

tests/neg/subtyping.scala

@@ -4,10 +4,11 @@ class B {
 class A extends B
 
 object Test {
-  def foo(a: A#X): Unit = {
-    return;
+  def test1(): Unit = {
+    implicitly[B#X <:< A#X]
   }
-  def test(): Unit = {
-    foo(??? : B#X);
+  def test2(): Unit = {
+    val a : { type T; type U } = ???
+    implicitly[a.T <:< a.U]
   }
 }