Skip to content

Commit 0153060

Browse files
OlivierBlanvillainneko-kai
authored andcommitted
Fix #9107: Add regression test
1 parent ddde3b5 commit 0153060

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

tests/neg/9107.scala

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
trait M[F[_]]
2+
trait Inv[T]
3+
4+
object Test {
5+
def ev[X] = implicitly[
6+
(X match { case Inv[t] => Int }) =:=
7+
(X match { case Inv[t] => t })
8+
] // error
9+
10+
def ev2[X] = implicitly[
11+
(M[[t] =>> runtime.MatchCase[Inv[t], Int]]) =:=
12+
(M[[t] =>> runtime.MatchCase[Inv[t], t]])
13+
] // error
14+
}

0 commit comments

Comments
 (0)