diff options
author | Adriaan Moors <adriaanm@gmail.com> | 2012-10-22 11:48:03 -0700 |
---|---|---|
committer | Adriaan Moors <adriaanm@gmail.com> | 2012-10-22 11:48:03 -0700 |
commit | 53a5d8f99132205067cb8396f13cd9e2e3b0fbd3 (patch) | |
tree | 2c8019233262d5ce34d2cc50137ada46a0e0aa79 /test/files/pos | |
parent | ffef8ca46defd9cdaaf1896eaa8a496f95847161 (diff) | |
parent | 61f12faacaaccf366f9211ba6493fb042a91f1d2 (diff) | |
download | scala-53a5d8f99132205067cb8396f13cd9e2e3b0fbd3.tar.gz scala-53a5d8f99132205067cb8396f13cd9e2e3b0fbd3.tar.bz2 scala-53a5d8f99132205067cb8396f13cd9e2e3b0fbd3.zip |
Merge pull request #1468 from paulp/issue/6482
SI-6482 preserve bounds on tparams of value class
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t6482.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/pos/t6482.scala b/test/files/pos/t6482.scala new file mode 100644 index 0000000000..24ea38e519 --- /dev/null +++ b/test/files/pos/t6482.scala @@ -0,0 +1,11 @@ +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 +} |