aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t3152.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t3152.scala')
-rw-r--r--tests/pending/pos/t3152.scala20
1 files changed, 0 insertions, 20 deletions
diff --git a/tests/pending/pos/t3152.scala b/tests/pending/pos/t3152.scala
deleted file mode 100644
index 3d1dcbd6f..000000000
--- a/tests/pending/pos/t3152.scala
+++ /dev/null
@@ -1,20 +0,0 @@
-trait Applicative[M[_]]
-
-sealed trait MA[M[_], A] {
- def sequence[N[_], B](implicit a: A <:< N[B], n: Applicative[N]): N[M[B]] = sys.error("stub")
- // def sequence3[N[_], B]()(implicit a: A <:< N[B], n: Applicative[N]): N[M[B]] = sys.error("stub")
-}
-
-object test {
- implicit def ListMA[A](l: List[A]): MA[List, A] = sys.error("stub")
- implicit val ao: Applicative[Option] = sys.error("stub")
-
- /* This compiles OK:
- (Nil: List[Option[Int]]).sequence3(): Option[List[Int]]
- */
-
- // BUG: error: immutable is not an enclosing class
- // !!! No line number is reported with the error
- (Nil: List[Option[Int]]).sequence: Option[List[Int]]
- (List[Option[Int]]()).sequence: Option[List[Int]]
-}