aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t4911.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t4911.scala')
-rw-r--r--tests/pending/pos/t4911.scala16
1 files changed, 0 insertions, 16 deletions
diff --git a/tests/pending/pos/t4911.scala b/tests/pending/pos/t4911.scala
deleted file mode 100644
index cfb3792ae..000000000
--- a/tests/pending/pos/t4911.scala
+++ /dev/null
@@ -1,16 +0,0 @@
-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