Skip to content

Commit f702b05

Browse files
committed
Fix #8932: add test
1 parent 5154641 commit f702b05

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
sealed trait Foo[+A]
2+
case class Bar[A]() extends Foo[A]
3+
4+
class Dummy extends Bar[Nothing] with Foo[String]
5+
6+
def bugReport[A](foo: Foo[A]): Foo[A] =
7+
foo match {
8+
case bar: Bar[A] => bar // error
9+
}
10+
11+
def test = bugReport(new Dummy: Foo[String])

0 commit comments

Comments
 (0)