Permalink
Browse files

Test case closes SI-4911.

The unchecked warning departed sometime between 4afae5b...278a225.
  • Loading branch information...
retronym committed May 26, 2012
1 parent b53b71c commit e1e7a3a0b1edb15ab937cf47e14342f74cf2b913
Showing with 17 additions and 0 deletions.
  1. +1 −0 test/files/pos/t4911.flags
  2. +16 −0 test/files/pos/t4911.scala
@@ -0,0 +1 @@
+-unchecked -Xfatal-warnings
View
@@ -0,0 +1,16 @@
+import language._
+
+object Test {
+ class Foo[T](val x: T) ; object Foo { def unapply[T](x: Foo[T]) = Some(x.x) }
+ def f1[T](x: Foo[T]) = x match { case Foo(y) => y }
+ def f2[M[_], T](x: M[T]) = x match { case Foo(y) => y }
+
+ case class Bar[T](x: T)
+ def f3[T](x: Bar[T]) = x match { case Bar(y) => y }
+ def f4[M[_], T](x: M[T]) = x match { case Bar(y) => y }
+}
+//
+// ./b.scala:4: warning: non variable type-argument T in type pattern Test.Foo[T] is unchecked since it is eliminated by erasure
+// def f2[M[_], T](x: M[T]) = x match { case Foo(y) => y }
+// ^
+// one warning found

0 comments on commit e1e7a3a

Please sign in to comment.