We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3100c7e commit 8bd2916Copy full SHA for 8bd2916
compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -790,7 +790,7 @@ trait ImplicitRunInfo:
790
WildcardType
791
else
792
seen += t
793
- t.superType match
+ t.underlying match
794
case TypeBounds(lo, hi) =>
795
if lo.isBottomTypeAfterErasure then apply(hi)
796
else AndType.make(apply(lo), apply(hi))
tests/pos/i21951b.scala
@@ -0,0 +1,12 @@
1
+
2
+class A
3
+object A:
4
+ given A = ???
5
6
+class B[X]
7
+object B:
8
+ given g[T]: B[T] = ???
9
10
+object Test:
11
+ def foo[X >: A] = summon[X] // was error
12
+ def bar[F[T] >: B[T]] = summon[F[Int]] // was error
0 commit comments