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.
2 parents 64f8cfa + 6732630 commit 1b0e2edCopy full SHA for 1b0e2ed
compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -834,7 +834,7 @@ trait ImplicitRunInfo:
834
WildcardType
835
else
836
seen += t
837
- t.superType match
+ t.underlying match
838
case TypeBounds(lo, hi) =>
839
if lo.isBottomTypeAfterErasure then apply(hi)
840
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