Also compute base classes of wildcardTypes

Fixes #19460
scala · Jan 17, 2024 · 725c425 · 725c425
1 parent 31f837e
commit 725c425
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -657,6 +657,8 @@ object Types extends TypeUtils {
             tp.superType.baseClasses
           case tp: ClassInfo =>
             tp.cls.classDenot.baseClasses
+          case tp: WildcardType =>
+            tp.effectiveBounds.hi.baseClasses
           case _ => Nil
       catch case ex: Throwable =>
         handleRecursive("base classes of", this.show, ex)

diff --git a/tests/pos/i19460.scala b/tests/pos/i19460.scala
@@ -0,0 +1,5 @@
+type T[A] = A | Any
+
+def perform[A](using T[A]): A = perform2
+
+def perform2[A](using T[A]): A = ???