We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 1053113 + 97735ed commit e4e2ffeCopy full SHA for e4e2ffe
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -640,6 +640,8 @@ object Types extends TypeUtils {
640
tp.superType.baseClasses
641
case tp: ClassInfo =>
642
tp.cls.classDenot.baseClasses
643
+ case tp: WildcardType =>
644
+ tp.effectiveBounds.hi.baseClasses
645
case _ => Nil
646
catch case ex: Throwable =>
647
handleRecursive("base classes of", this.show, ex)
tests/pos/i19460.scala
@@ -0,0 +1,5 @@
1
+type T[A] = A | Any
2
+
3
+def perform[A](using T[A]): A = perform2
4
5
+def perform2[A](using T[A]): A = ???
0 commit comments