aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/bounds.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2015-11-05 15:24:48 +0100
committerMartin Odersky <odersky@gmail.com>2015-11-05 15:26:14 +0100
commit990eff8a5905a3b3120bf1c150e218792acd8822 (patch)
treeb5bf00db20863968b405bc3e53c09062206ad498 /tests/pos/bounds.scala
parentc16c7f6009c5c7255cf3768585c1115a82b5a38c (diff)
downloaddotty-990eff8a5905a3b3120bf1c150e218792acd8822.tar.gz
dotty-990eff8a5905a3b3120bf1c150e218792acd8822.tar.bz2
dotty-990eff8a5905a3b3120bf1c150e218792acd8822.zip
Drop test that lower bound must be a subtype of upper bound.
As discussed in #780 and #525, the test is not needed. This makes t1279a compile, which got moved now to pos. Fixes #780 and #915. It also makes scala.List compile. Review by @smarter.
Diffstat (limited to 'tests/pos/bounds.scala')
-rw-r--r--tests/pos/bounds.scala7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/bounds.scala b/tests/pos/bounds.scala
index 26bc84a1b..625359f74 100644
--- a/tests/pos/bounds.scala
+++ b/tests/pos/bounds.scala
@@ -9,3 +9,10 @@ object ListMap {
def empty[X, Y] = new ListMap[X, Y]
def apply[A1, B2](elems: Tuple2[A1, B2]*): Map[A1, B2] = empty[A1,B2].++(elems.iterator)
}
+
+class Test[A] {
+
+ def f[B >: A <: AnyRef](x: A): AnyRef = (x: B)
+ def g[B >: String <: Int](x: B): Int = x
+
+}