Merge pull request #3718 from dotty-staging/fix-#3630

odersky · web-flow · commit 1ab60276f568 · 2018-01-13T20:58:09.000+01:00
Fix #3630: Handle classtag searches with wildcard arguments
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -320,6 +320,7 @@ object TypeErasure {
         case _ => false
       }
     case tp: TypeParamRef => false
+    case tp: TypeBounds => false
     case tp: TypeProxy => hasStableErasure(tp.superType)
     case tp: AndOrType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)
     case _ => false
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -564,7 +564,7 @@ trait Implicits { self: Typer =>
      *  synthesize a class tag for `T`.
    	 */
     def synthesizedClassTag(formal: Type)(implicit ctx: Context): Tree =
-      formal.argTypes match {
+      formal.argInfos match {
         case arg :: Nil =>
           fullyDefinedType(arg, "ClassTag argument", pos) match {
             case defn.ArrayOf(elemTp) =>
diff --git a/tests/neg/i3630.scala b/tests/neg/i3630.scala
@@ -0,0 +1 @@
+class U { Array(Array(2), Array("a")) } // error: no classtag

Original file line number	Diff line number	Diff line change
`@@ -320,6 +320,7 @@ object TypeErasure {`
`320`	`320`	`case _ => false`
`321`	`321`	`}`
`322`	`322`	`case tp: TypeParamRef => false`
	`323`	`+ case tp: TypeBounds => false`
`323`	`324`	`case tp: TypeProxy => hasStableErasure(tp.superType)`
`324`	`325`	`case tp: AndOrType => hasStableErasure(tp.tp1) && hasStableErasure(tp.tp2)`
`325`	`326`	`case _ => false`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+class U { Array(Array(2), Array("a")) } // error: no classtag`