Fix stupid error in isSubArgs

odersky · odersky · commit b454936a7f3e · 2017-04-30T15:30:35.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -775,7 +775,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
           (v < 0 || isSubType(tp1, tp2))
       }
       isSub(args1.head, args2.head)
-    } && isSubArgs(args1.tail, args2.tail, tparams)
+    } && isSubArgs(args1.tail, args2.tail, tparams.tail)
 
   /** Test whether `tp1` has a base type of the form `B[T1, ..., Tn]` where
    *   - `B` derives from one of the class symbols of `tp2`,

Original file line number	Diff line number	Diff line change
`@@ -775,7 +775,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {`
`775`	`775`	`(v < 0 \|\| isSubType(tp1, tp2))`
`776`	`776`	`}`
`777`	`777`	`isSub(args1.head, args2.head)`
`778`		`- } && isSubArgs(args1.tail, args2.tail, tparams)`
	`778`	`+ } && isSubArgs(args1.tail, args2.tail, tparams.tail)`
`779`	`779`
`780`	`780`	/** Test whether `tp1` has a base type of the form `B[T1, ..., Tn]` where
`781`	`781`	* - `B` derives from one of the class symbols of `tp2`,