diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 11:38:50 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-27 11:38:50 +0100 |
commit | 57b616c1a7adc78dd46cb3ae5545e312c11e69be (patch) | |
tree | 105089136359d4114b2b16f33c45dfac70b695fe /tests/pos/t3152.scala | |
parent | f59d1d33d6e9dbb2988f165dc9b5b03792218a4c (diff) | |
download | dotty-57b616c1a7adc78dd46cb3ae5545e312c11e69be.tar.gz dotty-57b616c1a7adc78dd46cb3ae5545e312c11e69be.tar.bz2 dotty-57b616c1a7adc78dd46cb3ae5545e312c11e69be.zip |
New tests
Diffstat (limited to 'tests/pos/t3152.scala')
-rw-r--r-- | tests/pos/t3152.scala | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/pos/t3152.scala b/tests/pos/t3152.scala new file mode 100644 index 000000000..3d1dcbd6f --- /dev/null +++ b/tests/pos/t3152.scala @@ -0,0 +1,20 @@ +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]] +} |