Skip to content

Commit 1e1a8b9

Browse files
committed
Fix scala/bug#10272: Add regression test
1 parent 1a4fa66 commit 1e1a8b9

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

test/files/pos/t10272.scala

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
object Test {
2+
sealed trait AbstractProven {
3+
type Proven[+A, TypeClass[_]] <: A
4+
}
5+
6+
val abstractProven: AbstractProven = new AbstractProven {
7+
override type Proven[+A, TypeClass[_]] = A
8+
}
9+
10+
import abstractProven._
11+
def x(a: Any Proven Ordering): Unit = a match {
12+
case i: Int =>
13+
}
14+
}

0 commit comments

Comments
 (0)