test for SI-5585

1 files changed, 18 insertions, 0 deletions

diff --git a/test/pending/pos/t5585.scala b/test/pending/pos/t5585.scala
new file mode 100644
index 0000000000..5d3eb86111
--- /dev/null
+++ b/test/pending/pos/t5585.scala
@@ -0,0 +1,18 @@
+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 {
+  def goo : Apply[Option[Int]] = Apply { i =>
+    val p = i match {
+      case 1 => Success(Some(1))
+      case _ => Success(None)
+    }
+  }
+}
\ No newline at end of file