Moved some test cases from pending to files sin...

Moved some test cases from pending to files since the bugs they were
watching for seem to be fixed. Moved some other test cases from pending
to disabled because they deceptively claim to pass while investigation
reveals the ticket needs to remain open. Closes #1996, #2660.

10 files changed, 0 insertions, 206 deletions

diff --git a/test/pending/pos/t1053.scala b/test/pending/pos/t1053.scala
deleted file mode 100644
index 1d4dfb637e..0000000000
--- a/test/pending/pos/t1053.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-trait T[A] { trait U { type W = A; val x = 3 } }
-
-object Test {
-  val x : ({ type V = T[this.type] })#V = null
-  val y = new x.U { }
-}
diff --git a/test/pending/pos/t1659.scala b/test/pending/pos/t1659.scala
deleted file mode 100644
index 10470d66f8..0000000000
--- a/test/pending/pos/t1659.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-trait Y { type X }
-trait W { def u[A](v : Y { type X = A }) : Unit }
-class Z extends W { def u[A](v : Y { type X = A }) = null }
-
diff --git a/test/pending/pos/t1836/J.java b/test/pending/pos/t1836/J.java
deleted file mode 100644
index a009a59e21..0000000000
--- a/test/pending/pos/t1836/J.java
+++ /dev/null
@@ -1 +0,0 @@
-public abstract class J<T> { protected J(T id) { } }
diff --git a/test/pending/pos/t1836/S.scala b/test/pending/pos/t1836/S.scala
deleted file mode 100644
index 88ce1063e9..0000000000
--- a/test/pending/pos/t1836/S.scala
+++ /dev/null
@@ -1 +0,0 @@
-class S extends J("")
diff --git a/test/pending/pos/t1996.scala b/test/pending/pos/t1996.scala
deleted file mode 100644
index 2730128196..0000000000
--- a/test/pending/pos/t1996.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-object forbug {
-  val l1 = List(List(ValDef(new A)), List(ValDef(new A)))
-  for ((e1s, e2s) <- l1.zip(l1);
-       (e1, e2) <- e1s.zip(e2s)) {
-    e1.a.doSome(20)
-//    ()
-  }
-}
-
-
-class A {
-  def doSome(a: Int): this.type = {
-    println(a)
-    this
-  }
-}
-
-case class ValDef(a: A)
-
diff --git a/test/pending/pos/t2060.scala b/test/pending/pos/t2060.scala
deleted file mode 100644
index 3f47259849..0000000000
--- a/test/pending/pos/t2060.scala
+++ /dev/null
@@ -1,28 +0,0 @@
-object Test {
-  class Op[I];
-  class IntOp extends Op[Int];
-
-  class Rich(x : Double) {
-    def +       (op : IntOp) = op;
-    def +    [I](op : Op[I]) = op;
-    def plus [I](op : Op[I]) = op;
-  }
-
-  implicit def iToRich(x : Double) =
-    new Rich(x);
-
-  // fails to compile
-  val failure = 1.0 + new Op[Int];
-
-  // works as expected --
-  //   problem isn't in adding new "+"
-  val a = 1.0 + new IntOp;
-
-  // works as expected --
-  //   problem isn't in binding type variable I
-  val b = 1.0 plus new Op[Int];
-
-  // works as expected --
-  //   problem isn't in using Rich.+[I](op : Op[I])
-  val c = iToRich(1.0) + new Op[Int];
-}
diff --git a/test/pending/pos/t2610.scala b/test/pending/pos/t2610.scala
deleted file mode 100644
index 8dd4cde66e..0000000000
--- a/test/pending/pos/t2610.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-package mada; package defects; package tests
-
-package object bbb {
-    def bar = ()
-    aaa.foo // value foo is not a member of package mada.defects.tests.aaa
-}
-
-package object aaa {
-    def foo = ()
-}
-
-/* compiles successfully if placed here..
-package object bbb {
-    def bar = ()
-    aaa.foo // value foo is not a member of package mada.defects.tests.aaa
-}
-*/
\ No newline at end of file
diff --git a/test/pending/pos/t2619.scala b/test/pending/pos/t2619.scala
deleted file mode 100644
index 565bc9572b..0000000000
--- a/test/pending/pos/t2619.scala
+++ /dev/null
@@ -1,80 +0,0 @@
-abstract class F {
-    final def apply(x: Int): AnyRef = null
-}
-abstract class AbstractModule {
-    def as: List[AnyRef]
-    def ms: List[AbstractModule]
-    def fs: List[F] = Nil
-    def rs(x: Int): List[AnyRef] = fs.map(_(x))
-}
-abstract class ModuleType1 extends AbstractModule {}
-abstract class ModuleType2 extends AbstractModule {}
-
-object ModuleAE extends ModuleType1 {
-    def as = Nil
-    def ms = Nil
-}
-object ModuleAF extends ModuleType2 {
-    def as = Nil
-    def ms = List(ModuleAE)
-}
-object ModuleAG extends ModuleType1 {
-    def as = List("")
-    def ms = Nil
-}
-object ModuleAI extends ModuleType1 {
-    def as = Nil
-    def ms = List(ModuleAE)
-}
-object ModuleAK extends ModuleType2 {
-    def as = Nil
-    def ms = List(ModuleAF)
-}
-object ModuleAL extends ModuleType1 {
-    def as = Nil
-    def ms = List(
-        ModuleAG,
-        ModuleAI
-    )
-}
-object ModuleAM extends ModuleType1 {
-    def as = Nil
-    def ms = List(
-        ModuleAL,
-        ModuleAE
-    ) ::: List(ModuleAK)
-}
-object ModuleBE extends ModuleType1 {
-    def as = Nil
-    def ms = Nil
-}
-object ModuleBF extends ModuleType2 {
-    def as = Nil
-    def ms = List(ModuleBE)
-}
-object ModuleBG extends ModuleType1 {
-    def as = List("")
-    def ms = Nil
-}
-object ModuleBI extends ModuleType1 {
-    def as = Nil
-    def ms = List(ModuleBE)
-}
-object ModuleBK extends ModuleType2 {
-    def as = Nil
-    def ms = List(ModuleBF)
-}
-object ModuleBL extends ModuleType1 {
-    def as = Nil
-    def ms = List(
-        ModuleBG,
-        ModuleBI
-    )
-}
-object ModuleBM extends ModuleType1 {
-    def as = Nil
-    def ms = List(
-        ModuleBL,
-        ModuleBE
-    ) ::: List(ModuleBK)
-}
\ No newline at end of file
diff --git a/test/pending/pos/t2660.scala b/test/pending/pos/t2660.scala
deleted file mode 100644
index b1908b201b..0000000000
--- a/test/pending/pos/t2660.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-package hoho
-
-class G
-
-class H extends G
-
-class A[T](x: T) {
-
-  def this(y: G, z: T) = {
-    this(z)
-    print(1)
-  }
-
-  def this(z: H, h: T) = {
-    this(h)
-    print(2)
-  }
-}
-
-object T {
-  def main(args: Array[String]) {
-    implicit def g2h(g: G): H = new H
-    new A(new H, 23)
-  }
-}
\ No newline at end of file
diff --git a/test/pending/pos/ticket2251.scala b/test/pending/pos/ticket2251.scala
deleted file mode 100644
index 7b6efb0ea0..0000000000
--- a/test/pending/pos/ticket2251.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-
-// Martin: I am not sure this is a solvable problem right now. I'll leave it in pending.
-// derived from pos/bug1001
-class A
-trait B[T <: B[T]] extends A
-class C extends B[C]
-class D extends B[D]
-
-class Data {
-  // force computing lub of C and D (printLubs enabled:)
-
-/*
-lub of List(D, C) at depth 2
-  lub of List(D, C) at depth 1
-    lub of List(D, C) at depth 0
-    lub of List(D, C) is A
-  lub of List(D, C) is B[_1] forSome { type _1 >: D with C <: A }
-lub of List(D, C) is B[_2] forSome { type _2 >: D with C{} <: B[_1] forSome { type _1 >: D with C{} <: A } }
-*/
-// --> result = WRONG
-
-  // should be: B[X] forSome {type X <: B[X]} -- can this be done automatically? for now, just detect f-bounded polymorphism and fall back to more coarse approximation
-
-  val data: List[A] = List(new C, new D)
-}