aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-12-21 12:59:28 +0100
committerMartin Odersky <odersky@gmail.com>2014-12-21 12:59:34 +0100
commit7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47 (patch)
treeed2c6cd0c3d69e34c0ffbbf8298ae15f5780731c /tests/pos
parentb6755f6927c07337b0819d7503f2c7b1674d892f (diff)
downloaddotty-7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47.tar.gz
dotty-7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47.tar.bz2
dotty-7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47.zip
test reorg
Moved working tests to pos, annotated non-working ones.
Diffstat (limited to 'tests/pos')
-rw-r--r--tests/pos/bounds.scala11
-rw-r--r--tests/pos/caseClassInMethod.scala5
-rw-r--r--tests/pos/class-dependent-extension-method.scala3
3 files changed, 19 insertions, 0 deletions
diff --git a/tests/pos/bounds.scala b/tests/pos/bounds.scala
new file mode 100644
index 000000000..26bc84a1b
--- /dev/null
+++ b/tests/pos/bounds.scala
@@ -0,0 +1,11 @@
+trait Map[A, +C] {
+ def ++ [B1 >: C] (kvs: Iterable[Tuple2[A, B1]]): Map[A, B1] = this
+ def ++ [B1 >: C] (kvs: Iterator[Tuple2[A, B1]]): Map[A, B1] = this
+}
+
+class ListMap[A, +B] extends Map[A, B] {}
+
+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)
+}
diff --git a/tests/pos/caseClassInMethod.scala b/tests/pos/caseClassInMethod.scala
new file mode 100644
index 000000000..958e5dd47
--- /dev/null
+++ b/tests/pos/caseClassInMethod.scala
@@ -0,0 +1,5 @@
+object t {
+ def f = { object C; case class C(); 1 }
+ // pending: def g = { case class D(x: Int); object D; 2 }
+ def h = { case class E(y: Int = 10); 3 }
+}
diff --git a/tests/pos/class-dependent-extension-method.scala b/tests/pos/class-dependent-extension-method.scala
new file mode 100644
index 000000000..b557dfa8f
--- /dev/null
+++ b/tests/pos/class-dependent-extension-method.scala
@@ -0,0 +1,3 @@
+class C(val a: String) extends AnyVal {
+ def foo[U <: a.type]: Unit = foo[U]
+}