More tests

47 files changed, 25 insertions, 20 deletions

diff --git a/tests/untried/pos/t1071.scala b/tests/pending/pos/t1071.scala
index 59149a021..b241cd648 100644
--- a/tests/untried/pos/t1071.scala
+++ b/tests/pending/pos/t1071.scala
@@ -15,3 +15,5 @@ object Test {
   c.a // error
 }
 
+// to fix this we'd need to check accessibility in the isMatchedBy of a SelectionProto,
+// so that we can insert an implicit if this does not work. Need to check performance impact of this.
diff --git a/tests/pending/pos/t1208.scala b/tests/pending/pos/t1208.scala
new file mode 100644
index 000000000..7b14aadca
--- /dev/null
+++ b/tests/pending/pos/t1208.scala
@@ -0,0 +1,7 @@
+object Test {
+  object Foo
+  val f: Option[Foo.type] = Some(Foo)
+}
+
+// unsupported with current typing rules.
+// on the other hand, we need a way to refer to a module class.
diff --git a/tests/untried/pos/t1236.scala b/tests/pending/pos/t1236.scala
index 75a1befd2..eee1cbf02 100644
--- a/tests/untried/pos/t1236.scala
+++ b/tests/pending/pos/t1236.scala
@@ -4,7 +4,7 @@ trait Empty[E[_]] {
 
 object T {
   val ListEmpty = new Empty[List] {
-    def e[A] = Nil
+    def e[A]/*: List*/ = Nil  // uncomment to get crash
   }
 
   def foo[F[_]](q:(String,String)) = "hello"
diff --git a/tests/untried/pos/t1272.scala b/tests/pending/pos/t1272.scala
index 916b783bb..916b783bb 100644
--- a/tests/untried/pos/t1272.scala
+++ b/tests/pending/pos/t1272.scala
diff --git a/tests/untried/pos/t1279a.scala b/tests/pending/pos/t1279a.scala
index 18b1e53f4..18b1e53f4 100644
--- a/tests/untried/pos/t1279a.scala
+++ b/tests/pending/pos/t1279a.scala
diff --git a/tests/untried/pos/t1280.scala b/tests/pending/pos/t1280.scala
index 39406b2e3..39406b2e3 100644
--- a/tests/untried/pos/t1280.scala
+++ b/tests/pending/pos/t1280.scala
diff --git a/tests/untried/pos/t1292.scala b/tests/pending/pos/t1292.scala
index 83a996d53..83a996d53 100644
--- a/tests/untried/pos/t1292.scala
+++ b/tests/pending/pos/t1292.scala
diff --git a/tests/untried/pos/t1000.scala b/tests/pos/t1000.scala
index 613af76b9..613af76b9 100644
--- a/tests/untried/pos/t1000.scala
+++ b/tests/pos/t1000.scala
diff --git a/tests/untried/pos/t1001.scala b/tests/pos/t1001.scala
index 7a06bfa0e..7a06bfa0e 100644
--- a/tests/untried/pos/t1001.scala
+++ b/tests/pos/t1001.scala
diff --git a/tests/untried/pos/t1006.scala b/tests/pos/t1006.scala
index 2163b2b74..2163b2b74 100644
--- a/tests/untried/pos/t1006.scala
+++ b/tests/pos/t1006.scala
diff --git a/tests/untried/pos/t1014.scala b/tests/pos/t1014.scala
index 6fb7f7ba4..6fb7f7ba4 100644
--- a/tests/untried/pos/t1014.scala
+++ b/tests/pos/t1014.scala
diff --git a/tests/untried/pos/t1027.scala b/tests/pos/t1027.scala
index 02ba9a8a3..02ba9a8a3 100644
--- a/tests/untried/pos/t1027.scala
+++ b/tests/pos/t1027.scala
diff --git a/tests/untried/pos/t1034.scala b/tests/pos/t1034.scala
index 9d966334a..9d966334a 100644
--- a/tests/untried/pos/t1034.scala
+++ b/tests/pos/t1034.scala
diff --git a/tests/untried/pos/t1035.scala b/tests/pos/t1035.scala
index e0a9379c7..ef81cb0d9 100644
--- a/tests/untried/pos/t1035.scala
+++ b/tests/pos/t1035.scala
@@ -6,7 +6,7 @@
 class A  {
   var name:String = _
   def getName() = name
-  def this(name:String, age:Int){this();this.name=name}
+  def this(name:String, age:Int) = {this(); this.name = name}
 
 }
 
diff --git a/tests/pos/t1048.scala b/tests/pos/t1048.scala
new file mode 100644
index 000000000..b8694b38e
--- /dev/null
+++ b/tests/pos/t1048.scala
@@ -0,0 +1,14 @@
+trait T[U] {
+  def x: T[_ <: U]
+}
+
+object T {
+  def unapply[U](t: T[U]): Option[T[_ <: U]] = Some(t.x)
+}
+
+object Test {
+  def f[W](t: T[W]) = t match {
+    case T(T(_)) => ()
+  }
+}
+
diff --git a/tests/untried/pos/t1049.scala b/tests/pos/t1049.scala
index 61d99f946..61d99f946 100644
--- a/tests/untried/pos/t1049.scala
+++ b/tests/pos/t1049.scala
diff --git a/tests/untried/pos/t1050.scala b/tests/pos/t1050.scala
index d34b0cff1..d34b0cff1 100644
--- a/tests/untried/pos/t1050.scala
+++ b/tests/pos/t1050.scala
diff --git a/tests/untried/pos/t1053.scala b/tests/pos/t1053.scala
index 1d4dfb637..1d4dfb637 100644
--- a/tests/untried/pos/t1053.scala
+++ b/tests/pos/t1053.scala
diff --git a/tests/new/t1056.scala b/tests/pos/t1056.scala
index 68f1ff273..68f1ff273 100644
--- a/tests/new/t1056.scala
+++ b/tests/pos/t1056.scala
diff --git a/tests/untried/pos/t1070.scala b/tests/pos/t1070.scala
index 1622043a8..1622043a8 100644
--- a/tests/untried/pos/t1070.scala
+++ b/tests/pos/t1070.scala
diff --git a/tests/untried/pos/t1075.scala b/tests/pos/t1075.scala
index 5f72957da..5f72957da 100644
--- a/tests/untried/pos/t1075.scala
+++ b/tests/pos/t1075.scala
diff --git a/tests/untried/pos/t1085.scala b/tests/pos/t1085.scala
index c59e657cb..c59e657cb 100644
--- a/tests/untried/pos/t1085.scala
+++ b/tests/pos/t1085.scala
diff --git a/tests/untried/pos/t1090.scala b/tests/pos/t1090.scala
index a9bce90b0..a9bce90b0 100644
--- a/tests/untried/pos/t1090.scala
+++ b/tests/pos/t1090.scala
diff --git a/tests/untried/pos/t1107a.scala b/tests/pos/t1107a.scala
index 0bf40bb4c..0bf40bb4c 100644
--- a/tests/untried/pos/t1107a.scala
+++ b/tests/pos/t1107a.scala
diff --git a/tests/untried/pos/t1119.scala b/tests/pos/t1119.scala
index 8b36877c4..8b36877c4 100644
--- a/tests/untried/pos/t1119.scala
+++ b/tests/pos/t1119.scala
diff --git a/tests/untried/pos/t1131.scala b/tests/pos/t1131.scala
index 1b2a90457..1b2a90457 100644
--- a/tests/untried/pos/t1131.scala
+++ b/tests/pos/t1131.scala
diff --git a/tests/untried/pos/t1133.scala b/tests/pos/t1133.scala
index 562b528ea..562b528ea 100644
--- a/tests/untried/pos/t1133.scala
+++ b/tests/pos/t1133.scala
diff --git a/tests/untried/pos/t1136.scala b/tests/pos/t1136.scala
index 92d603e69..92d603e69 100644
--- a/tests/untried/pos/t1136.scala
+++ b/tests/pos/t1136.scala
diff --git a/tests/untried/pos/t1146.scala b/tests/pos/t1146.scala
index 7e5adc4f4..7e5adc4f4 100644
--- a/tests/untried/pos/t1146.scala
+++ b/tests/pos/t1146.scala
diff --git a/tests/untried/pos/t1147.scala b/tests/pos/t1147.scala
index ff2e8bc52..ff2e8bc52 100644
--- a/tests/untried/pos/t1147.scala
+++ b/tests/pos/t1147.scala
diff --git a/tests/untried/pos/t115.scala b/tests/pos/t115.scala
index 0e6a63c16..0e6a63c16 100644
--- a/tests/untried/pos/t115.scala
+++ b/tests/pos/t115.scala
diff --git a/tests/untried/pos/t1159.scala b/tests/pos/t1159.scala
index 7e09418b2..7e09418b2 100644
--- a/tests/untried/pos/t1159.scala
+++ b/tests/pos/t1159.scala
diff --git a/tests/untried/pos/t116.scala b/tests/pos/t116.scala
index 1e31b71bf..1e31b71bf 100644
--- a/tests/untried/pos/t116.scala
+++ b/tests/pos/t116.scala
diff --git a/tests/untried/pos/t1164.scala b/tests/pos/t1164.scala
index ab58c1d6b..ab58c1d6b 100644
--- a/tests/untried/pos/t1164.scala
+++ b/tests/pos/t1164.scala
diff --git a/tests/untried/pos/t1168.scala b/tests/pos/t1168.scala
index 75638e792..75638e792 100644
--- a/tests/untried/pos/t1168.scala
+++ b/tests/pos/t1168.scala
diff --git a/tests/untried/pos/t1185.scala b/tests/pos/t1185.scala
index fa863d158..fa863d158 100644
--- a/tests/untried/pos/t1185.scala
+++ b/tests/pos/t1185.scala
diff --git a/tests/untried/pos/t119.scala b/tests/pos/t119.scala
index 44a156675..44a156675 100644
--- a/tests/untried/pos/t119.scala
+++ b/tests/pos/t119.scala
diff --git a/tests/untried/pos/t1203a.scala b/tests/pos/t1203a.scala
index cf5ab9fba..cf5ab9fba 100644
--- a/tests/untried/pos/t1203a.scala
+++ b/tests/pos/t1203a.scala
diff --git a/tests/untried/pos/t121.scala b/tests/pos/t121.scala
index 78ddc41ee..78ddc41ee 100644
--- a/tests/untried/pos/t121.scala
+++ b/tests/pos/t121.scala
diff --git a/tests/untried/pos/t1210a.scala b/tests/pos/t1210a.scala
index b3492f96e..b3492f96e 100644
--- a/tests/untried/pos/t1210a.scala
+++ b/tests/pos/t1210a.scala
diff --git a/tests/untried/pos/t122.scala b/tests/pos/t122.scala
index 630e24ce4..630e24ce4 100644
--- a/tests/untried/pos/t122.scala
+++ b/tests/pos/t122.scala
diff --git a/tests/untried/pos/t1226.scala b/tests/pos/t1226.scala
index 0af21cbb6..0af21cbb6 100644
--- a/tests/untried/pos/t1226.scala
+++ b/tests/pos/t1226.scala
diff --git a/tests/untried/pos/t1237.scala b/tests/pos/t1237.scala
index 31ba2966a..31ba2966a 100644
--- a/tests/untried/pos/t1237.scala
+++ b/tests/pos/t1237.scala
diff --git a/tests/untried/pos/t124.scala b/tests/pos/t124.scala
index 9aed6786f..9aed6786f 100644
--- a/tests/untried/pos/t124.scala
+++ b/tests/pos/t124.scala
diff --git a/tests/untried/pos/t1260.scala b/tests/pos/t1260.scala
index 02f9e7e6b..02f9e7e6b 100644
--- a/tests/untried/pos/t1260.scala
+++ b/tests/pos/t1260.scala
diff --git a/tests/untried/pos/t1048.scala b/tests/untried/pos/t1048.scala
deleted file mode 100644
index cd16db5b6..000000000
--- a/tests/untried/pos/t1048.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-trait T[U] {
-  def x: T[V] forSome { type V <: U }
-}
-
-object T {
-  def unapply[U](t: T[U]): Option[T[V] forSome { type V <: U }] = Some(t.x)
-}
-
-object Test {
-  def f[W](t: T[W]) = t match {
-    case T(T(_)) => ()
-  }
-}
-
diff --git a/tests/untried/pos/t1208.scala b/tests/untried/pos/t1208.scala
deleted file mode 100644
index 9ac783d39..000000000
--- a/tests/untried/pos/t1208.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-object Test {
-  object Foo
-  val f: Option[Foo.type] = Some(Foo)
-}