1 files changed, 0 insertions, 29 deletions
diff --git a/test/pending/pos/t5579.scala b/test/pending/pos/t5579.scala
deleted file mode 100644
index a1ee077fe7..0000000000
--- a/test/pending/pos/t5579.scala
+++ /dev/null
@@ -1,29 +0,0 @@
-import language.existentials
-
-class Result[+A]
-
-case class Success[A](x: A) extends Result[A]
-
-class Apply[A]
-
-object Apply {
-  def apply[A](f: Int => Result[A]): Apply[A] = new Apply[A]
-}
-
-object TestUnit {
-  //Error is here:
-  def goo = Apply { i =>
-    i match {
-      case 1 => Success(Some(1))
-      case _ => Success(None)
-    }
-  }
-  
-  //If type is defined explicitly (which I wanted from compiler to infer), then all is ok
-  def foo = Apply[t forSome { type t >: Some[Int] with None.type <: Option[Int] }] { i =>
-    i match {
-      case 1 => Success(Some(1))
-      case _ => Success(None)
-    }
-  }
-}