diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-03 19:01:04 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-05-03 19:01:09 +0200 |
commit | 090a6a606f22ceb0b2800556f5d5de825a3941b8 (patch) | |
tree | ad4cf51fe6589d2a2cdeb2d8dd519b86408acefd /tests/pending/pos | |
parent | 220fe53ad0638c33572a9e11db0b6dc3aabd6c27 (diff) | |
download | dotty-090a6a606f22ceb0b2800556f5d5de825a3941b8.tar.gz dotty-090a6a606f22ceb0b2800556f5d5de825a3941b8.tar.bz2 dotty-090a6a606f22ceb0b2800556f5d5de825a3941b8.zip |
Moved tests from pending
Diffstat (limited to 'tests/pending/pos')
-rw-r--r-- | tests/pending/pos/t6482.scala | 11 | ||||
-rw-r--r-- | tests/pending/pos/t7022.scala | 9 |
2 files changed, 0 insertions, 20 deletions
diff --git a/tests/pending/pos/t6482.scala b/tests/pending/pos/t6482.scala deleted file mode 100644 index 24ea38e51..000000000 --- a/tests/pending/pos/t6482.scala +++ /dev/null @@ -1,11 +0,0 @@ -final class TraversableOnceOps[+A](val collection: TraversableOnce[A]) extends AnyVal { - def reduceLeftOption[B >: A](op: (B, A) => B): Option[B] = - if (collection.isEmpty) None else Some(collection.reduceLeft[B](op)) -} -// error: type arguments [B] do not conform to method reduceLeft's type parameter bounds [B >: A] -// if (collection.isEmpty) None else Some(collection.reduceLeft[B](op)) -// ^ - -class Foo[+A <: AnyRef](val xs: List[A]) extends AnyVal { - def baz[B >: A](x: B): List[B] = x :: xs -} diff --git a/tests/pending/pos/t7022.scala b/tests/pending/pos/t7022.scala deleted file mode 100644 index c86602664..000000000 --- a/tests/pending/pos/t7022.scala +++ /dev/null @@ -1,9 +0,0 @@ -class Catch[+T] { - def either[U >: T](body: => U): Either[Throwable, U] = ??? -} - -object Test { - implicit class RichCatch[T](val c: Catch[T]) extends AnyVal { - def validation[U >: T](u: => U): Either[Throwable, U] = c.either(u) - } -} |