Merge pull request #12240 from dotty-staging/fix-wildcard-sig

anatoliykmetyuk · web-flow · commit 17b62dfeb999 · 2021-04-28T11:07:28.000+02:00
Fix signatures involving WildcardTypes
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -821,10 +821,10 @@ class TypeErasure(sourceLanguage: SourceLanguage, semiEraseVCs: Boolean, isConst
         sigName(this(tp))
       case tp: TypeProxy =>
         sigName(tp.underlying)
-      case _: ErrorType | WildcardType | NoType =>
-        tpnme.WILDCARD
       case tp: WildcardType =>
-        sigName(tp.optBounds)
+        tpnme.Uninstantiated
+      case _: ErrorType | NoType =>
+        tpnme.ERROR
       case _ =>
         val erasedTp = this(tp)
         assert(erasedTp ne tp, tp)
diff --git a/tests/pos/i11481.scala b/tests/pos/i11481.scala
@@ -0,0 +1,2 @@
+case class Foo[F[_]](f: {def f(x: F[Int]): Object})
+case class Bar[F[_], G[_]](f: [B] => F[B] => G[B])

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+case class Foo[F[_]](f: {def f(x: F[Int]): Object})`
	`2`	`+case class Bar[F[_], G[_]](f: [B] => F[B] => G[B])`