Permalink
Browse files

Test case closes SI-3880.

virtpatmat ftw.
  • Loading branch information...
retronym committed May 20, 2012
1 parent 1f5584f commit d046b9a6f2614e8dcaaef89a2733e4acf9755266
Showing with 16 additions and 0 deletions.
  1. +16 −0 test/files/pos/t3880.scala
View
@@ -0,0 +1,16 @@
+abstract class Bar[+B] {
+}
+abstract class C1[+B] extends Bar[B] {
+ private[this] def g(x: C1[B]): Unit = ()
+
+ // this method is fine: notice that it allows the call to g,
+ // which requires C1[B], even though we matched on C1[_].
+ // (That is good news.)
+ private[this] def f1(x: Bar[B]): Unit = x match {
+ case x: C1[_] => g(x)
+ }
+ // this one crashes.
+ private[this] def f2(x: Bar[B]): Unit = x match {
+ case x: C1[_] => f2(x)
+ }
+}

0 comments on commit d046b9a

Please sign in to comment.