Fix scala#5010: check type parents have type arguments

Blaisorblade · Blaisorblade · commit ca4481a98c9e · 2018-08-25T21:08:27.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1529,6 +1529,7 @@ class Typer extends Namer
         ctx.error(i"$psym is extended twice", tree.pos)
       seenParents += psym
       if (tree.isType) {
+        checkSimpleKinded(result) // Not needed for constructor calls, as type arguments will be inferred.
         if (psym.is(Trait) && !cls.is(Trait) && !cls.superClass.isSubClass(psym))
           result = maybeCall(result, psym, psym.primaryConstructor.info)
       }
diff --git a/tests/neg/i5010.scala b/tests/neg/i5010.scala
@@ -0,0 +1 @@
+class i0 extends Function0 // error

Original file line number	Diff line number	Diff line change
`@@ -1529,6 +1529,7 @@ class Typer extends Namer`
`1529`	`1529`	`ctx.error(i"$psym is extended twice", tree.pos)`
`1530`	`1530`	`seenParents += psym`
`1531`	`1531`	`if (tree.isType) {`
	`1532`	`+ checkSimpleKinded(result) // Not needed for constructor calls, as type arguments will be inferred.`
`1532`	`1533`	`if (psym.is(Trait) && !cls.is(Trait) && !cls.superClass.isSubClass(psym))`
`1533`	`1534`	`result = maybeCall(result, psym, psym.primaryConstructor.info)`
`1534`	`1535`	`}`