Enable tests that succeed.

78 files changed, 0 insertions, 2537 deletions

diff --git a/tests/pending/run/Course-2002-01.check b/tests/pending/run/Course-2002-01.check
deleted file mode 100644
index 16b491d6e..000000000
--- a/tests/pending/run/Course-2002-01.check
+++ /dev/null
@@ -1,37 +0,0 @@
-Course-2002-01.scala:41: warning: method loop in object M0 does nothing other than call itself recursively
-  def loop: Int = loop;
-                  ^
-232
-667
-11
-10
-62.8318
-62.8318
-62.8318
-4.0
-81.0
-256.0
-25.0
-1
-737.0
-1.0
-0.0
-1.0
-76.0
-1.4142156862745097
-1.7321428571428572
-2.0000000929222947
-1.4142156862745097
-1.7321428571428572
-2.0000000929222947
-1.4142156862745097
-1.7321428571428572
-2.0000000929222947
-sqrt(2) = 1.4142135623746899
-sqrt(2) = 1.4142135623746899
-cbrt(2) = 1.2599210500177698
-1
-1 1
-1 2 1
-1 3 3 1
-1 4 6 4 1
diff --git a/tests/pending/run/Course-2002-01.scala b/tests/pending/run/Course-2002-01.scala
deleted file mode 100644
index 3426f26ee..000000000
--- a/tests/pending/run/Course-2002-01.scala
+++ /dev/null
@@ -1,239 +0,0 @@
-//############################################################################
-// Programmation IV - 2002 - Week 01
-//############################################################################
-
-object M0 {
-
-  //##########################################################################
-
-  Console.println(87 + 145);
-  Console.println(1000 - 333);
-  Console.println(5 + 2 * 3);
-
-  //##########################################################################
-
-  def size = 2;
-  def pi = 3.14159;
-  def radius = 10;
-  def circumference = 2 * pi * radius;
-
-  Console.println(5 * size);
-  Console.println(2 * pi * radius);
-  Console.println(circumference);
-  Console.println((2 * pi) * radius);
-
-  //##########################################################################
-
-  def square(x: Double) = x * x;
-
-  Console.println(square(2));
-  Console.println(square(5 + 4));
-  Console.println(square(square(4)));
-
-  //##########################################################################
-
-  def sumOfSquares(x: Double, y: Double) = square(x) + square(y);
-
-  Console.println(sumOfSquares(3, 2+2));
-
-  //##########################################################################
-
-  def loop: Int = loop;
-  def first(x: Int, y: Int) = x;
-  def constOne(x: Int, y: => Int) = 1;
-
-  Console.println(constOne(1, loop));
-
-  //##########################################################################
-
-  def abs(x: Double) = if (x >= 0) x else -x;
-
-  Console.println(abs(737));
-  Console.println(abs(1));
-  Console.println(abs(0));
-  Console.println(abs(-1));
-  Console.println(abs(-76));
-
-  //##########################################################################
-
-  def sqrtIter0(guess: Double, x: Double): Double =
-    if (isGoodEnough0(guess, x)) guess
-    else sqrtIter0(improve0(guess, x), x);
-
-  def improve0(guess: Double, x: Double) =
-    (guess + x / guess) / 2;
-
-  def isGoodEnough0(guess: Double, x: Double) =
-    abs(square(guess) - x) < 0.001;
-
-  def sqrt0(x: Double) = sqrtIter0(1.0, x);
-
-  Console.println(sqrt0(2));
-  Console.println(sqrt0(3));
-  Console.println(sqrt0(4));
-
-  //##########################################################################
-
-  def sqrt1(x: Double) = {
-    def sqrtIter1(guess: Double, x: Double): Double =
-      if (isGoodEnough1(guess, x)) guess
-      else sqrtIter1(improve1(guess, x), x);
-
-    def improve1(guess: Double, x: Double) =
-      (guess + x / guess) / 2;
-
-    def isGoodEnough1(guess: Double, x: Double) =
-      abs(square(guess) - x) < 0.001;
-
-    sqrtIter1(1.0, x)
-  }
-
-  Console.println(sqrt1(2));
-  Console.println(sqrt1(3));
-  Console.println(sqrt1(4));
-
-  //##########################################################################
-
-  def sqrt2(x: Double) = {
-    def sqrtIter2(guess: Double): Double =
-      if (isGoodEnough2(guess)) guess
-      else sqrtIter2(improve2(guess));
-
-    def improve2(guess: Double) =
-      (guess + x / guess) / 2;
-
-    def isGoodEnough2(guess: Double) =
-      abs(square(guess) - x) < 0.001;
-
-    sqrtIter2(1.0)
-  }
-
-  Console.println(sqrt2(2));
-  Console.println(sqrt2(3));
-  Console.println(sqrt2(4));
-
-  //##########################################################################
-}
-
-//############################################################################
-
-object M1 {
-  def abs(x: Double) = if (x >= 0) x else -x;
-
-  def sqrt(x: Double): Double = {
-    def sqrtIter(prev: Double, guess: Double): Double =
-      if (isGoodEnough(prev, guess)) guess
-      else sqrtIter(guess, improve(guess));
-
-    def improve(guess: Double) = (guess + x / guess) / 2;
-
-    def isGoodEnough(prev: Double, guess: Double) =
-      abs(prev - guess) / guess < 0.001;
-
-    sqrtIter(1.0, improve(1.0))
-  }
-
-  Console.println("sqrt(2) = " + sqrt(2));
-}
-
-//############################################################################
-
-object M2 {
-  def abs(x: Double) = if (x >= 0) x else -x;
-
-  def sqrt(x:Double):Double = {
-    def sqrtIter(guess:Double):Double = {
-      val next = improve(guess);
-      if (isGoodEnough(guess,next)) next
-      else sqrtIter(next)
-    }
-
-    def improve(guess:Double) = (guess+x/guess)/2;
-
-    def isGoodEnough(prev:Double,guess:Double) = abs(prev-guess)/guess<0.001;
-
-    sqrtIter(1.0)
-  }
-
-  Console.println("sqrt(2) = " + sqrt(2));
-}
-
-//############################################################################
-
-object M3 {
-  def abs(x: Double) = if (x >= 0) x else -x;
-
-  def cbrt(x:Double):Double = {
-    def cbrtIter(guess:Double):Double = {
-      val next = improve(guess);
-      if (isGoodEnough(guess,next)) next
-      else cbrtIter(next)
-    }
-
-    def improve(y:Double) = (x/(y*y)+2*y)/3;
-
-    def isGoodEnough(prev:Double,guess:Double) = abs(prev-guess)/guess<0.001;
-
-    cbrtIter(1.0)
-  }
-
-  Console.println("cbrt(2) = " + cbrt(2));
-}
-
-//############################################################################
-
-object M4 {
-  def pascal(c: Int, l: Int): Int =
-    if (c <= 0 || c >= l) 1
-    else pascal(c - 1, l - 1) + pascal(c, l - 1);
-
-  Console.print(pascal(0,0));
-  Console.println;
-
-  Console.print(pascal(0,1));
-  Console.print(' ');
-  Console.print(pascal(1,1));
-  Console.println;
-
-  Console.print(pascal(0,2));
-  Console.print(' ');
-  Console.print(pascal(1,2));
-  Console.print(' ');
-  Console.print(pascal(2,2));
-  Console.println;
-
-  Console.print(pascal(0,3));
-  Console.print(' ');
-  Console.print(pascal(1,3));
-  Console.print(' ');
-  Console.print(pascal(2,3));
-  Console.print(' ');
-  Console.print(pascal(3,3));
-  Console.println;
-
-  Console.print(pascal(0,4));
-  Console.print(' ');
-  Console.print(pascal(1,4));
-  Console.print(' ');
-  Console.print(pascal(2,4));
-  Console.print(' ');
-  Console.print(pascal(3,4));
-  Console.print(' ');
-  Console.print(pascal(4,4));
-  Console.println;
-}
-
-//############################################################################
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    M0;
-    M1;
-    M2;
-    M3;
-    M4;
-    ()
-  }
-}
-
-//############################################################################
diff --git a/tests/pending/run/arrays.check b/tests/pending/run/arrays.check
deleted file mode 100644
index c9a3a8726..000000000
--- a/tests/pending/run/arrays.check
+++ /dev/null
@@ -1,7 +0,0 @@
-arrays.scala:248: warning: comparing values of types Unit and Unit using `==' will always yield true
-    check(xs(0) == u0, xs(0), u0);
-                ^
-arrays.scala:249: warning: comparing values of types Unit and Unit using `==' will always yield true
-    check(xs(1) == u1, xs(1), u1);
-                ^
-checks: 2302
diff --git a/tests/pending/run/arrays.scala b/tests/pending/run/arrays.scala
deleted file mode 100644
index 1a77a191c..000000000
--- a/tests/pending/run/arrays.scala
+++ /dev/null
@@ -1,937 +0,0 @@
-//############################################################################
-// Arrays
-//############################################################################
-
-//############################################################################
-
-object Test {
-
-  //##########################################################################
-  // Types
-
-  type Strings = List[String]
-  type Map     = scala.collection.Map[Int, Any]
-  type HashMap = scala.collection.mutable.HashMap[Int, Any]
-  type TreeMap = scala.collection.immutable.TreeMap[Int, Any]
-
-  //##########################################################################
-  // Identity Functions
-
-  def id_Ta_T[T <: Any    ](x: T): T       = x;
-  def id_Tr_T[T <: AnyRef ](x: T): T       = x;
-  def id_To_T[T <: Object ](x: T): T       = x;
-
-  def id_Ta_a[T <: Any    ](x: T): Any     = x;
-  def id_Tr_a[T <: AnyRef ](x: T): Any     = x;
-  def id_To_a[T <: Object ](x: T): Any     = x;
-
-  def id_Tr_r[T <: AnyRef ](x: T): AnyRef  = x;
-  def id_To_r[T <: Object ](x: T): AnyRef  = x;
-
-  def id_To_o[T <: Object ](x: T): Object  = x;
-
-  def id_TSa_T [S <: Any    , T <: Array[S]](x: T): T        = x;
-  def id_TSv_T [S <: AnyVal , T <: Array[S]](x: T): T        = x;
-  def id_TSr_T [S <: AnyRef , T <: Array[S]](x: T): T        = x;
-  def id_TSo_T [S <: Object , T <: Array[S]](x: T): T        = x;
-  def id_TSm_T [S <: Map    , T <: Array[S]](x: T): T        = x;
-  def id_TSn_T [S <: Strings, T <: Array[S]](x: T): T        = x;
-
-  def id_TSa_Ss[S <: Any    , T <: Array[S]](x: T): Array[S] = x;
-  def id_TSv_Ss[S <: AnyVal , T <: Array[S]](x: T): Array[S] = x;
-  def id_TSr_Ss[S <: AnyRef , T <: Array[S]](x: T): Array[S] = x;
-  def id_TSo_Ss[S <: Object , T <: Array[S]](x: T): Array[S] = x;
-  def id_TSm_Ss[S <: Map    , T <: Array[S]](x: T): Array[S] = x;
-  def id_TSn_Ss[S <: Strings, T <: Array[S]](x: T): Array[S] = x;
-
-  def id_TSa_a [S <: Any    , T <: Array[S]](x: T): Any      = x;
-  def id_TSv_a [S <: AnyVal , T <: Array[S]](x: T): Any      = x;
-  def id_TSr_a [S <: AnyRef , T <: Array[S]](x: T): Any      = x;
-  def id_TSo_a [S <: Object , T <: Array[S]](x: T): Any      = x;
-  def id_TSm_a [S <: Map    , T <: Array[S]](x: T): Any      = x;
-  def id_TSn_a [S <: Strings, T <: Array[S]](x: T): Any      = x;
-
-  def id_TSa_r [S <: Any    , T <: Array[S]](x: T): AnyRef   = x;
-  def id_TSv_r [S <: AnyVal , T <: Array[S]](x: T): AnyRef   = x;
-  def id_TSr_r [S <: AnyRef , T <: Array[S]](x: T): AnyRef   = x;
-  def id_TSo_r [S <: Object , T <: Array[S]](x: T): AnyRef   = x;
-  def id_TSm_r [S <: Map    , T <: Array[S]](x: T): AnyRef   = x;
-  def id_TSn_r [S <: Strings, T <: Array[S]](x: T): AnyRef   = x;
-
-  def id_TSa_o [S <: Any    , T <: Array[S]](x: T): Object   = x;
-  def id_TSv_o [S <: AnyVal , T <: Array[S]](x: T): Object   = x;
-  def id_TSr_o [S <: AnyRef , T <: Array[S]](x: T): Object   = x;
-  def id_TSo_o [S <: Object , T <: Array[S]](x: T): Object   = x;
-  def id_TSm_o [S <: Map    , T <: Array[S]](x: T): Object   = x;
-  def id_TSn_o [S <: Strings, T <: Array[S]](x: T): Object   = x;
-
-  def id_Sas_Ss[S <: Any    ](xs: Array[S]): Array[S] = xs;
-  def id_Svs_Ss[S <: AnyVal ](xs: Array[S]): Array[S] = xs;
-  def id_Srs_Ss[S <: AnyRef ](xs: Array[S]): Array[S] = xs;
-  def id_Sos_Ss[S <: Object ](xs: Array[S]): Array[S] = xs;
-  def id_Sms_Ss[S <: Map    ](xs: Array[S]): Array[S] = xs;
-  def id_Sns_Ss[S <: Strings](xs: Array[S]): Array[S] = xs;
-
-  def id_Sas_a [S <: Any    ](xs: Array[S]): Any      = xs;
-  def id_Svs_a [S <: AnyVal ](xs: Array[S]): Any      = xs;
-  def id_Srs_a [S <: AnyRef ](xs: Array[S]): Any      = xs;
-  def id_Sos_a [S <: Object ](xs: Array[S]): Any      = xs;
-  def id_Sms_a [S <: Map    ](xs: Array[S]): Any      = xs;
-  def id_Sns_a [S <: Strings](xs: Array[S]): Any      = xs;
-
-  def id_Sas_r [S <: Any    ](xs: Array[S]): AnyRef   = xs;
-  def id_Svs_r [S <: AnyVal ](xs: Array[S]): AnyRef   = xs;
-  def id_Srs_r [S <: AnyRef ](xs: Array[S]): AnyRef   = xs;
-  def id_Sos_r [S <: Object ](xs: Array[S]): AnyRef   = xs;
-  def id_Sms_r [S <: Map    ](xs: Array[S]): AnyRef   = xs;
-  def id_Sns_r [S <: Strings](xs: Array[S]): AnyRef   = xs;
-
-  def id_Sas_o [S <: Any    ](xs: Array[S]): Object   = xs;
-  def id_Svs_o [S <: AnyVal ](xs: Array[S]): Object   = xs;
-  def id_Srs_o [S <: AnyRef ](xs: Array[S]): Object   = xs;
-  def id_Sos_o [S <: Object ](xs: Array[S]): Object   = xs;
-  def id_Sms_o [S <: Map    ](xs: Array[S]): Object   = xs;
-  def id_Sns_o [S <: Strings](xs: Array[S]): Object   = xs;
-
-  //##########################################################################
-  // Generic Checks
-
-  type Check[T] = Array[T] => Unit;
-
-  var checks: Int = 0;
-
-  def check(test0: Boolean, actual: Any, expected: Any): Unit = {
-    val test1: Boolean = actual == expected;
-    if (!test0 || !test1) {
-      val s0 = if (test0) "ok" else "KO";
-      val s1 = if (test1) "ok" else "KO";
-      val s2 = actual.toString();
-      val s3 = expected.toString();
-      sys.error(s0 + " - " + s1 + ": " + s2 + " != " + s3);
-    }
-    checks += 1
-  }
-
-  def check_Ta[T <: Any    ](xs: Array[T], l: Int, x0: T, c: Check[T]): Unit = {
-    check(xs.length == l, xs.length, l);
-    check(xs(0) == x0, xs(0), x0);
-    c(xs);
-  }
-
-  def check_Tv[T <: AnyVal ](xs: Array[T], l: Int, x0: T, c: Check[T]): Unit = {
-    check(xs.length == l, xs.length, l);
-    check(xs(0) == x0, xs(0), x0);
-    check_Ta(xs, l, x0, c);
-    c(xs);
-  }
-
-  def check_Tr[T <: AnyRef ](xs: Array[T], l: Int, x0: T, c: Check[T]): Unit = {
-    check(xs.length == l, xs.length, l);
-    check(xs(0) == x0, xs(0), x0);
-    check_Ta(xs, l, x0, c);
-    c(xs);
-  }
-
-  def check_To[T <: Object ](xs: Array[T], l: Int, x0: T, c: Check[T]): Unit = {
-    check(xs.length == l, xs.length, l);
-    check(xs(0) == x0, xs(0), x0);
-    check_Ta(xs, l, x0, c);
-    check_Tr(xs, l, x0, c);
-    c(xs);
-  }
-
-  def check_Tm[T <: Map    ](xs: Array[T], l: Int, x0: T, c: Check[T]): Unit = {
-    check(xs.length == l, xs.length, l)
-    check(xs(0) == x0, xs(0), x0)
-    check_Ta(xs, l, x0, c)
-    check_Tr(xs, l, x0, c)
-    check_To(xs, l, x0, c)
-    c(xs)
-  }
-
-  def check_Tn[T <: Strings](xs: Array[T], l: Int, x0: T, c: Check[T]): Unit = {
-    check(xs.length == l, xs.length, l)
-    check(xs(0) == x0, xs(0), x0)
-    check_Ta(xs, l, x0, c)
-    check_Tr(xs, l, x0, c)
-    check_To(xs, l, x0, c)
-    c(xs)
-  }
-
-  def checkT2368(): Unit = {
-    val arr = Array(1, 2, 3)
-    arr(0) += 1
-    assert(arr(0) == 2)
-  }
-
-  //##########################################################################
-  // Values
-
-  val u0: Unit    = ();
-  val u1: Unit    = ();
-
-  val z0: Boolean = false;
-  val z1: Boolean = true;
-
-  val b0: Byte    = Byte.MinValue;
-  val b1: Byte    = 1;
-  val b2: Byte    = Byte.MaxValue;
-
-  val s0: Short   = Short.MinValue;
-  val s1: Short   = 2;
-  val s2: Short   = Short.MaxValue;
-
-  val c0: Char    = Char.MinValue;
-  val c1: Char    = '3';
-  val c2: Char    = Char.MaxValue;
-
-  val i0: Int     = Int.MinValue;
-  val i1: Int     = 4;
-  val i2: Int     = Int.MinValue;
-
-  val l0: Long    = Long.MinValue;
-  val l1: Int     = 5;
-  val l2: Long    = Long.MaxValue;
-
-  val f0: Float   = Float.MinValue;
-  val f1: Int     = 6;
-  val f2: Float   = Float.MaxValue;
-
-  val d0: Double  = Double.MinValue;
-  val d1: Int     = 7;
-  val d2: Double  = Double.MaxValue;
-
-  val a0: Unit    = ();
-  val a1: Boolean = false;
-  val a2: Int     = 0;
-  val a3: Null  = null;
-  val a4: String  = "a-z";
-  val a5: Symbol  = 'token;
-  val a6: HashMap = new HashMap();
-  val a7: TreeMap = scala.collection.immutable.TreeMap.empty[Int, Any];
-  val a8: Strings = List("a", "z");
-
-  val v0: Unit    = ();
-  val v1: Boolean = false;
-  val v2: Int     = 0;
-  val v3: Long    = l2;
-  val v4: Float   = f2;
-  val v5: Double  = d2;
-
-  val r0: Null  = a3;
-  val r1: String  = a4;
-  val r2: Symbol  = a5;
-  val r3: HashMap = a6;
-  val r4: TreeMap = a7;
-  val r5: Strings = a8;
-
-  val o0: Null  = r0;
-  val o1: String  = r1;
-  val o2: Symbol  = r2;
-  val o3: HashMap = r3;
-  val o4: TreeMap = r4;
-  val o5: Strings = r5;
-
-  val m0: Null  = r0;
-  val m1: HashMap = r3;
-  val m2: TreeMap = r4;
-
-  val n0: Null  = r0;
-  val n1: Strings = r5;
-  val n2: Nil.type= Nil;
-
-  //##########################################################################
-  // Specific Checks
-
-  def ucheck(xs: Array[Unit   ]): Unit = {
-    check(xs.length == 2, xs.length, 2);
-    check(xs(0) == u0, xs(0), u0);
-    check(xs(1) == u1, xs(1), u1);
-  }
-
-  def zcheck(xs: Array[Boolean]): Unit = {
-    check(xs.length == 2, xs.length, 2);
-    check(xs(0) == z0, xs(0), z0);
-    check(xs(1) == z1, xs(1), z1);
-  }
-
-  def bcheck(xs: Array[Byte   ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == b0, xs(0), b0);
-    check(xs(1) == b1, xs(1), b1);
-    check(xs(2) == b2, xs(2), b2);
-  }
-
-  def scheck(xs: Array[Short  ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == s0, xs(0), s0);
-    check(xs(1) == s1, xs(1), s1);
-    check(xs(2) == s2, xs(2), s2);
-  }
-
-  def ccheck(xs: Array[Char   ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == c0, xs(0), c0);
-    check(xs(1) == c1, xs(1), c1);
-    check(xs(2) == c2, xs(2), c2);
-  }
-
-  def icheck(xs: Array[Int    ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == i0, xs(0), i0);
-    check(xs(1) == i1, xs(1), i1);
-    check(xs(2) == i2, xs(2), i2);
-  }
-
-  def lcheck(xs: Array[Long   ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == l0, xs(0), l0);
-    check(xs(1) == l1, xs(1), l1: Long); // !!! : Long
-    check(xs(2) == l2, xs(2), l2);
-  }
-
-  def fcheck(xs: Array[Float  ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == f0, xs(0), f0);
-    check(xs(1) == f1, xs(1), f1: Float); // !!! : Float
-    check(xs(2) == f2, xs(2), f2);
-  }
-
-  def dcheck(xs: Array[Double ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == d0, xs(0), d0);
-    check(xs(1) == d1, xs(1), d1: Double); // !!! : Double
-    check(xs(2) == d2, xs(2), d2);
-  }
-
-  def rcheck(xs: Array[AnyRef ]): Unit = {
-    check(xs.length == 6, xs.length, 6);
-    check(xs(0) == r0, xs(0), r0);
-    check(xs(1) == r1, xs(1), r1);
-    check(xs(2) == r2, xs(2), r2);
-    check(xs(3) == r3, xs(3), r3);
-    check(xs(4) == r4, xs(4), r4);
-    check(xs(5) == r5, xs(5), r5);
-  }
-
-  def ocheck(xs: Array[Object ]): Unit = {
-    check(xs.length == 6, xs.length, 6);
-    check(xs(0) == o0, xs(0), o0);
-    check(xs(1) == o1, xs(1), o1);
-    check(xs(2) == o2, xs(2), o2);
-    check(xs(3) == o3, xs(3), o3);
-    check(xs(4) == o4, xs(4), o4);
-    check(xs(5) == o5, xs(5), o5);
-  }
-
-  def mcheck(xs: Array[Map    ]): Unit = {
-    check(xs.length == 3, xs.length, 3);
-    check(xs(0) == m0, xs(0), m0);
-    check(xs(1) == m1, xs(1), m1);
-    check(xs(2) == m2, xs(2), m2);
-  }
-
-  def ncheck(xs: Array[Strings]): Unit = {
-    check(xs.length == 3, xs.length, 3)
-    check(xs(0) == n0, xs(0), n0)
-    check(xs(1) == n1, xs(1), n1)
-    check(xs(2) == n2, xs(2), n2)
-  }
-
-  //##########################################################################
-  // Miscellaneous checks
-
-  def checkZip: Unit = {
-    val zipped = Array("a", "b", "c").zip(Array(1, 2))
-    val expected = Array(("a",1), ("b",2))
-    check(zipped sameElements expected, zipped.toList, expected.toList)
-  }
-
-  def checkConcat: Unit = { // ticket #713
-    val x1 = Array.concat(Array(1, 2), Array(3, 4))
-    val y1 = Array(1, 2, 3, 4)
-    check(x1 sameElements y1, x1.toList, y1.toList)
-  }
-
-  //##########################################################################
-  // Arrays
-
-  val uarray: Array[Unit   ] = Array(u0, u1);
-  val zarray: Array[Boolean] = Array(z0, z1);
-  val barray: Array[Byte   ] = Array(b0, b1, b2);
-  val sarray: Array[Short  ] = Array(s0, s1, s2);
-  val carray: Array[Char   ] = Array(c0, c1, c2);
-  val iarray: Array[Int    ] = Array(i0, i1, i2);
-  val larray: Array[Long   ] = Array(l0, l1, l2);
-  val farray: Array[Float  ] = Array(f0, f1, f2);
-  val darray: Array[Double ] = Array(d0, d1, d2);
-  val rarray: Array[AnyRef ] = Array(r0, r1, r2, r4, r4, r5);
-  val oarray: Array[Object ] = Array(o0, o1, o2, o4, o4, o5);
-  val marray: Array[Map    ] = Array(m0, m1, m2);
-  val narray: Array[Strings] = Array(n0, n1, n2);
-
-  //##########################################################################
-  // Main
-
-  def main(args: Array[String]): Unit = {
-
-    //######################################################################
-
-    ucheck(uarray);
-    zcheck(zarray);
-    bcheck(barray);
-    scheck(sarray);
-    ccheck(carray);
-    icheck(iarray);
-    lcheck(larray);
-    fcheck(farray);
-    dcheck(darray);
-    rcheck(rarray);
-    ocheck(oarray);
-    mcheck(marray);
-    ncheck(narray);
-
-    //######################################################################
-
-    ucheck(id_Ta_T(uarray));
-    zcheck(id_Ta_T(zarray));
-    bcheck(id_Ta_T(barray));
-    scheck(id_Ta_T(sarray));
-    ccheck(id_Ta_T(carray));
-    icheck(id_Ta_T(iarray));
-    lcheck(id_Ta_T(larray));
-    fcheck(id_Ta_T(farray));
-    dcheck(id_Ta_T(darray));
-    rcheck(id_Ta_T(rarray));
-    ocheck(id_Ta_T(oarray));
-    mcheck(id_Ta_T(marray));
-    ncheck(id_Ta_T(narray));
-
-    ucheck(id_Tr_T(uarray));
-    zcheck(id_Tr_T(zarray));
-    bcheck(id_Tr_T(barray));
-    scheck(id_Tr_T(sarray));
-    ccheck(id_Tr_T(carray));
-    icheck(id_Tr_T(iarray));
-    lcheck(id_Tr_T(larray));
-    fcheck(id_Tr_T(farray));
-    dcheck(id_Tr_T(darray));
-    rcheck(id_Tr_T(rarray));
-    ocheck(id_Tr_T(oarray));
-    mcheck(id_Tr_T(marray));
-    ncheck(id_Tr_T(narray));
-
-    ucheck(id_To_T(uarray));
-    zcheck(id_To_T(zarray));
-    bcheck(id_To_T(barray));
-    scheck(id_To_T(sarray));
-    ccheck(id_To_T(carray));
-    icheck(id_To_T(iarray));
-    lcheck(id_To_T(larray));
-    fcheck(id_To_T(farray));
-    dcheck(id_To_T(darray));
-    rcheck(id_To_T(rarray));
-    ocheck(id_To_T(oarray));
-    mcheck(id_To_T(marray));
-    ncheck(id_To_T(narray));
-
-    ucheck(id_Ta_a(uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_Ta_a(zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_Ta_a(barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_Ta_a(sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_Ta_a(carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_Ta_a(iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_Ta_a(larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_Ta_a(farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_Ta_a(darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_Ta_a(rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_Ta_a(oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_Ta_a(marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_Ta_a(narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_Tr_a(uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_Tr_a(zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_Tr_a(barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_Tr_a(sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_Tr_a(carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_Tr_a(iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_Tr_a(larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_Tr_a(farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_Tr_a(darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_Tr_a(rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_Tr_a(oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_Tr_a(marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_Tr_a(narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_To_a(uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_To_a(zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_To_a(barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_To_a(sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_To_a(carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_To_a(iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_To_a(larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_To_a(farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_To_a(darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_To_a(rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_To_a(oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_To_a(marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_To_a(narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_Tr_r(uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_Tr_r(zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_Tr_r(barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_Tr_r(sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_Tr_r(carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_Tr_r(iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_Tr_r(larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_Tr_r(farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_Tr_r(darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_Tr_r(rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_Tr_r(oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_Tr_r(marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_Tr_r(narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_To_r(uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_To_r(zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_To_r(barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_To_r(sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_To_r(carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_To_r(iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_To_r(larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_To_r(farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_To_r(darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_To_r(rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_To_r(oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_To_r(marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_To_r(narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_To_o(uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_To_o(zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_To_o(barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_To_o(sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_To_o(carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_To_o(iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_To_o(larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_To_o(farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_To_o(darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_To_o(rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_To_o(oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_To_o(marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_To_o(narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    ucheck(id_TSa_T [Unit   , Array[Unit   ]](uarray));
-    zcheck(id_TSa_T [Boolean, Array[Boolean]](zarray));
-    bcheck(id_TSa_T [Byte   , Array[Byte   ]](barray));
-    scheck(id_TSa_T [Short  , Array[Short  ]](sarray));
-    ccheck(id_TSa_T [Char   , Array[Char   ]](carray));
-    icheck(id_TSa_T [Int    , Array[Int    ]](iarray));
-    lcheck(id_TSa_T [Long   , Array[Long   ]](larray));
-    fcheck(id_TSa_T [Float  , Array[Float  ]](farray));
-    dcheck(id_TSa_T [Double , Array[Double ]](darray));
-    rcheck(id_TSa_T [AnyRef , Array[AnyRef ]](rarray));
-    ocheck(id_TSa_T [Object , Array[Object ]](oarray));
-    mcheck(id_TSa_T [Map    , Array[Map    ]](marray));
-    ncheck(id_TSa_T [Strings, Array[Strings]](narray));
-
-    ucheck(id_TSv_T [Unit   , Array[Unit   ]](uarray));
-    zcheck(id_TSv_T [Boolean, Array[Boolean]](zarray));
-    bcheck(id_TSv_T [Byte   , Array[Byte   ]](barray));
-    scheck(id_TSv_T [Short  , Array[Short  ]](sarray));
-    ccheck(id_TSv_T [Char   , Array[Char   ]](carray));
-    icheck(id_TSv_T [Int    , Array[Int    ]](iarray));
-    lcheck(id_TSv_T [Long   , Array[Long   ]](larray));
-    fcheck(id_TSv_T [Float  , Array[Float  ]](farray));
-    dcheck(id_TSv_T [Double , Array[Double ]](darray));
-
-    rcheck(id_TSr_T [AnyRef , Array[AnyRef ]](rarray));
-    ocheck(id_TSr_T [Object , Array[Object ]](oarray));
-    mcheck(id_TSr_T [Map    , Array[Map    ]](marray));
-    ncheck(id_TSr_T [Strings, Array[Strings]](narray));
-
-    rcheck(id_TSo_T [AnyRef , Array[AnyRef ]](rarray));
-    ocheck(id_TSo_T [Object , Array[Object ]](oarray));
-    mcheck(id_TSo_T [Map    , Array[Map    ]](marray));
-    ncheck(id_TSo_T [Strings, Array[Strings]](narray));
-
-    mcheck(id_TSm_T [Map    , Array[Map    ]](marray));
-
-    ncheck(id_TSn_T [Strings, Array[Strings]](narray));
-
-    //######################################################################
-
-    ucheck(id_TSa_Ss[Unit   , Array[Unit   ]](uarray));
-    zcheck(id_TSa_Ss[Boolean, Array[Boolean]](zarray));
-    bcheck(id_TSa_Ss[Byte   , Array[Byte   ]](barray));
-    scheck(id_TSa_Ss[Short  , Array[Short  ]](sarray));
-    ccheck(id_TSa_Ss[Char   , Array[Char   ]](carray));
-    icheck(id_TSa_Ss[Int    , Array[Int    ]](iarray));
-    lcheck(id_TSa_Ss[Long   , Array[Long   ]](larray));
-    fcheck(id_TSa_Ss[Float  , Array[Float  ]](farray));
-    dcheck(id_TSa_Ss[Double , Array[Double ]](darray));
-    rcheck(id_TSa_Ss[AnyRef , Array[AnyRef ]](rarray));
-    ocheck(id_TSa_Ss[Object , Array[Object ]](oarray));
-    mcheck(id_TSa_Ss[Map    , Array[Map    ]](marray));
-    ncheck(id_TSa_Ss[Strings, Array[Strings]](narray));
-
-    ucheck(id_TSv_Ss[Unit   , Array[Unit   ]](uarray));
-    zcheck(id_TSv_Ss[Boolean, Array[Boolean]](zarray));
-    bcheck(id_TSv_Ss[Byte   , Array[Byte   ]](barray));
-    scheck(id_TSv_Ss[Short  , Array[Short  ]](sarray));
-    ccheck(id_TSv_Ss[Char   , Array[Char   ]](carray));
-    icheck(id_TSv_Ss[Int    , Array[Int    ]](iarray));
-    lcheck(id_TSv_Ss[Long   , Array[Long   ]](larray));
-    fcheck(id_TSv_Ss[Float  , Array[Float  ]](farray));
-    dcheck(id_TSv_Ss[Double , Array[Double ]](darray));
-
-    rcheck(id_TSr_Ss[AnyRef , Array[AnyRef ]](rarray));
-    ocheck(id_TSr_Ss[Object , Array[Object ]](oarray));
-    mcheck(id_TSr_Ss[Map    , Array[Map    ]](marray));
-    ncheck(id_TSr_Ss[Strings, Array[Strings]](narray));
-
-    rcheck(id_TSo_Ss[AnyRef , Array[AnyRef ]](rarray));
-    ocheck(id_TSo_Ss[Object , Array[Object ]](oarray));
-    mcheck(id_TSo_Ss[Map    , Array[Map    ]](marray));
-    ncheck(id_TSo_Ss[Strings, Array[Strings]](narray));
-
-    mcheck(id_TSm_Ss[Map    , Array[Map    ]](marray));
-
-    ncheck(id_TSn_Ss[Strings, Array[Strings]](narray));
-
-    //######################################################################
-
-    ucheck(id_TSa_a [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSa_a [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSa_a [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSa_a [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSa_a [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSa_a [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSa_a [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSa_a [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSa_a [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_TSa_a [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSa_a [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSa_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSa_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_TSv_a [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSv_a [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSv_a [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSv_a [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSv_a [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSv_a [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSv_a [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSv_a [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSv_a [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-
-    rcheck(id_TSr_a [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSr_a [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSr_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSr_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    rcheck(id_TSo_a [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSo_a [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSo_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSo_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    mcheck(id_TSm_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-
-    ncheck(id_TSn_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    ucheck(id_TSa_r [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSa_r [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSa_r [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSa_r [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSa_r [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSa_r [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSa_r [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSa_r [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSa_r [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_TSa_r [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSa_r [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSa_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSa_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_TSv_r [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSv_r [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSv_r [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSv_r [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSv_r [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSv_r [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSv_r [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSv_r [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSv_r [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-
-    rcheck(id_TSr_r [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSr_r [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSr_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSr_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    rcheck(id_TSo_r [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSo_r [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSo_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSo_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    mcheck(id_TSm_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-
-    ncheck(id_TSn_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    ucheck(id_TSa_o [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSa_o [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSa_o [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSa_o [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSa_o [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSa_o [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSa_o [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSa_o [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSa_o [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_TSa_o [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSa_o [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSa_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSa_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_TSv_o [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSv_o [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSv_o [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSv_o [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSv_o [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSv_o [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSv_o [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSv_o [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSv_o [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-
-    rcheck(id_TSr_o [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSr_o [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSr_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSr_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    rcheck(id_TSo_o [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSo_o [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSo_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSo_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    mcheck(id_TSm_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-
-    ncheck(id_TSn_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    ucheck(id_Sas_Ss[Unit   ](uarray));
-    zcheck(id_Sas_Ss[Boolean](zarray));
-    bcheck(id_Sas_Ss[Byte   ](barray));
-    scheck(id_Sas_Ss[Short  ](sarray));
-    ccheck(id_Sas_Ss[Char   ](carray));
-    icheck(id_Sas_Ss[Int    ](iarray));
-    lcheck(id_Sas_Ss[Long   ](larray));
-    fcheck(id_Sas_Ss[Float  ](farray));
-    dcheck(id_Sas_Ss[Double ](darray));
-    rcheck(id_Sas_Ss[AnyRef ](rarray));
-    ocheck(id_Sas_Ss[Object ](oarray));
-    mcheck(id_Sas_Ss[Map    ](marray));
-    ncheck(id_Sas_Ss[Strings](narray));
-
-    ucheck(id_Svs_Ss[Unit   ](uarray));
-    zcheck(id_Svs_Ss[Boolean](zarray));
-    bcheck(id_Svs_Ss[Byte   ](barray));
-    scheck(id_Svs_Ss[Short  ](sarray));
-    ccheck(id_Svs_Ss[Char   ](carray));
-    icheck(id_Svs_Ss[Int    ](iarray));
-    lcheck(id_Svs_Ss[Long   ](larray));
-    fcheck(id_Svs_Ss[Float  ](farray));
-    dcheck(id_Svs_Ss[Double ](darray));
-
-    rcheck(id_Srs_Ss[AnyRef ](rarray));
-    ocheck(id_Srs_Ss[Object ](oarray));
-    mcheck(id_Srs_Ss[Map    ](marray));
-    ncheck(id_Srs_Ss[Strings](narray));
-
-    rcheck(id_Sos_Ss[AnyRef ](rarray));
-    ocheck(id_Sos_Ss[Object ](oarray));
-    mcheck(id_Sos_Ss[Map    ](marray));
-    ncheck(id_Sos_Ss[Strings](narray));
-
-    mcheck(id_Sms_Ss[Map    ](marray));
-
-    ncheck(id_Sns_Ss[Strings](narray));
-
-    //######################################################################
-
-    ucheck(id_TSa_a [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSa_a [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSa_a [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSa_a [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSa_a [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSa_a [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSa_a [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSa_a [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSa_a [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_TSa_a [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSa_a [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSa_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSa_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_TSv_a [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSv_a [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSv_a [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSv_a [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSv_a [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSv_a [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSv_a [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSv_a [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSv_a [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-
-    rcheck(id_TSr_a [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSr_a [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSr_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSr_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    rcheck(id_TSo_a [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSo_a [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSo_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSo_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    mcheck(id_TSm_a [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-
-    ncheck(id_TSn_a [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    ucheck(id_TSa_r [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSa_r [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSa_r [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSa_r [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSa_r [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSa_r [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSa_r [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSa_r [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSa_r [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_TSa_r [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSa_r [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSa_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSa_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_TSv_r [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSv_r [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSv_r [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSv_r [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSv_r [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSv_r [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSv_r [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSv_r [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSv_r [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-
-    rcheck(id_TSr_r [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSr_r [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSr_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSr_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    rcheck(id_TSo_r [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSo_r [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSo_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSo_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    mcheck(id_TSm_r [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-
-    ncheck(id_TSn_r [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    ucheck(id_TSa_o [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSa_o [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSa_o [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSa_o [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSa_o [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSa_o [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSa_o [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSa_o [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSa_o [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-    rcheck(id_TSa_o [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSa_o [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSa_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSa_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    ucheck(id_TSv_o [Unit   , Array[Unit   ]](uarray).asInstanceOf[Array[Unit   ]]);
-    zcheck(id_TSv_o [Boolean, Array[Boolean]](zarray).asInstanceOf[Array[Boolean]]);
-    bcheck(id_TSv_o [Byte   , Array[Byte   ]](barray).asInstanceOf[Array[Byte   ]]);
-    scheck(id_TSv_o [Short  , Array[Short  ]](sarray).asInstanceOf[Array[Short  ]]);
-    ccheck(id_TSv_o [Char   , Array[Char   ]](carray).asInstanceOf[Array[Char   ]]);
-    icheck(id_TSv_o [Int    , Array[Int    ]](iarray).asInstanceOf[Array[Int    ]]);
-    lcheck(id_TSv_o [Long   , Array[Long   ]](larray).asInstanceOf[Array[Long   ]]);
-    fcheck(id_TSv_o [Float  , Array[Float  ]](farray).asInstanceOf[Array[Float  ]]);
-    dcheck(id_TSv_o [Double , Array[Double ]](darray).asInstanceOf[Array[Double ]]);
-
-    rcheck(id_TSr_o [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSr_o [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSr_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSr_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    rcheck(id_TSo_o [AnyRef , Array[AnyRef ]](rarray).asInstanceOf[Array[AnyRef ]]);
-    ocheck(id_TSo_o [Object , Array[Object ]](oarray).asInstanceOf[Array[Object ]]);
-    mcheck(id_TSo_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-    ncheck(id_TSo_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    mcheck(id_TSm_o [Map    , Array[Map    ]](marray).asInstanceOf[Array[Map    ]]);
-
-    ncheck(id_TSn_o [Strings, Array[Strings]](narray).asInstanceOf[Array[Strings]]);
-
-    //######################################################################
-
-    check_Ta(uarray, 2, u0, ucheck)
-    check_Ta(zarray, 2, z0, zcheck)
-    check_Ta(barray, 3, b0, bcheck)
-    check_Ta(sarray, 3, s0, scheck)
-    check_Ta(carray, 3, c0, ccheck)
-    check_Ta(iarray, 3, i0, icheck)
-    check_Ta(larray, 3, l0, lcheck)
-    check_Ta(farray, 3, f0, fcheck)
-    check_Ta(darray, 3, d0, dcheck)
-    check_Ta(rarray, 6, r0, rcheck)
-    check_Ta(oarray, 6, o0, ocheck)
-    check_Ta(marray, 3, m0, mcheck)
-    check_Ta(narray, 3, n0, ncheck)
-
-    check_Tv(uarray, 2, u0, ucheck)
-    check_Tv(zarray, 2, z0, zcheck)
-    check_Tv(barray, 3, b0, bcheck)
-    check_Tv(sarray, 3, s0, scheck)
-    check_Tv(carray, 3, c0, ccheck)
-    check_Tv(iarray, 3, i0, icheck)
-    check_Tv(larray, 3, l0, lcheck)
-    check_Tv(farray, 3, f0, fcheck)
-    check_Tv(darray, 3, d0, dcheck)
-
-    check_Tr(rarray, 6, r0, rcheck)
-    check_Tr(oarray, 6, o0, ocheck)
-    check_Tr(marray, 3, m0, mcheck)
-    check_Tr(narray, 3, n0, ncheck)
-
-    check_To(rarray, 6, r0, rcheck)
-    check_To(oarray, 6, o0, ocheck)
-    check_To(marray, 3, m0, mcheck)
-    check_To(narray, 3, n0, ncheck)
-
-    check_Tm(marray, 3, m0, mcheck)
-
-    check_Tn(narray, 3, n0, ncheck)
-
-    //######################################################################
-
-    checkZip
-    checkConcat
-    checkT2368()
-
-    //######################################################################
-
-    println("checks: " + checks)
-
-    //######################################################################
-  }
-
-  //##########################################################################
-}
-
diff --git a/tests/pending/run/classtags_contextbound.check b/tests/pending/run/classtags_contextbound.check
deleted file mode 100644
index 604122846..000000000
--- a/tests/pending/run/classtags_contextbound.check
+++ /dev/null
@@ -1 +0,0 @@
-class [I
diff --git a/tests/pending/run/classtags_contextbound.scala b/tests/pending/run/classtags_contextbound.scala
deleted file mode 100644
index 1edce82a2..000000000
--- a/tests/pending/run/classtags_contextbound.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-import scala.reflect.{ClassTag, classTag}
-
-object Test extends dotty.runtime.LegacyApp {
-  def mkArray[T: ClassTag] = Array[T]()
-  def foo[T: ClassTag] = mkArray[T]
-  println(foo[Int].getClass)
-}
diff --git a/tests/pending/run/collection-stacks.check b/tests/pending/run/collection-stacks.check
deleted file mode 100644
index 3a366bfcd..000000000
--- a/tests/pending/run/collection-stacks.check
+++ /dev/null
@@ -1,15 +0,0 @@
-warning: there was one deprecation warning; re-run with -deprecation for details
-3-2-1: true
-3-2-1: true
-apply
-3: true
-3: true
-1: true
-1: true
-top
-3: true
-3: true
-pop
-2-1: true
-3: true
-2-1: true
diff --git a/tests/pending/run/collection-stacks.scala b/tests/pending/run/collection-stacks.scala
deleted file mode 100644
index a41bef37c..000000000
--- a/tests/pending/run/collection-stacks.scala
+++ /dev/null
@@ -1,38 +0,0 @@
-import scala.collection.{ immutable, mutable }
-
-object Test extends dotty.runtime.LegacyApp {
-  def mutableStack[T](xs: T*): mutable.Stack[T] = {
-    val s = new mutable.Stack[T]
-    s.pushAll(xs)
-    s
-  }
-
-  def immutableStack[T](xs: T*): immutable.Stack[T] = {
-    immutable.Stack.empty[T] pushAll xs
-  }
-
-  def check[T](expected: T, got: T): Unit = {
-    println(got + ": " + (expected == got))
-  }
-
-  // check #957
-  check("3-2-1", immutableStack(1, 2, 3).iterator.mkString("-"))
-  check("3-2-1", mutableStack(1, 2, 3).iterator.mkString("-"))
-
-  println("apply")
-  check(3, immutableStack(1, 2, 3).apply(0))
-  check(3, mutableStack(1, 2, 3).apply(0))
-  check(1, immutableStack(1, 2, 3).apply(2))
-  check(1, mutableStack(1, 2, 3).apply(2))
-
-  println("top")
-  check(3, immutableStack(1, 2, 3).top)
-  check(3, mutableStack(1, 2, 3).top)
-
-  println("pop")
-  check("2-1", immutableStack(1, 2, 3).pop.mkString("-"))
-  check(3, mutableStack(1, 2, 3).pop())
-  check("2-1", { val s = mutableStack(1, 2, 3); s.pop(); s.toList.mkString("-") })
-}
-
-// vim: set ts=2 sw=2 et:
diff --git a/tests/pending/run/contrib674.check b/tests/pending/run/contrib674.check
deleted file mode 100644
index 78325c181..000000000
--- a/tests/pending/run/contrib674.check
+++ /dev/null
@@ -1,3 +0,0 @@
-contrib674.scala:15: warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses
-    1
-    ^
diff --git a/tests/pending/run/contrib674.scala b/tests/pending/run/contrib674.scala
deleted file mode 100644
index fe7ebcccd..000000000
--- a/tests/pending/run/contrib674.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-// causes VerifyError with scala-2.5.1
-
-object Test extends dotty.runtime.LegacyApp {
-  def bad(): Unit = {
-    try {
-      1
-    } catch {
-      case e: Throwable =>
-    } finally {
-      try {
-      } catch {
-        case e: Throwable =>
-      }
-    }
-    1
-  }
-
-  bad
-}
diff --git a/tests/pending/run/emptypf.check b/tests/pending/run/emptypf.check
deleted file mode 100644
index f6c39921b..000000000
--- a/tests/pending/run/emptypf.check
+++ /dev/null
@@ -1,3 +0,0 @@
-100
-3
-false
diff --git a/tests/pending/run/emptypf.scala b/tests/pending/run/emptypf.scala
deleted file mode 100644
index eb3e3e638..000000000
--- a/tests/pending/run/emptypf.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-object Test {
-  val f: PartialFunction[String, Int] = {
-    PartialFunction.empty[String, Int] orElse {
-      case "abc"  => 100
-      case s      => s.length
-    }
-  }
-
-  def main(args: Array[String]): Unit = {
-    println(f("abc"))
-    println(f("def"))
-    println(PartialFunction.empty[String, Int] isDefinedAt "abc")
-  }
-}
diff --git a/tests/pending/run/hashCodeBoxesRunTime.scala b/tests/pending/run/hashCodeBoxesRunTime.scala
deleted file mode 100644
index ba1a30f5f..000000000
--- a/tests/pending/run/hashCodeBoxesRunTime.scala
+++ /dev/null
@@ -1,28 +0,0 @@
-// This only tests direct access to the methods in BoxesRunTime,
-// not the whole scheme.
-object Test
-{
-  import java.{ lang => jl }
-  import scala.runtime.BoxesRunTime.{ hashFromNumber, hashFromObject }
-
-  def allSame[T](xs: List[T]) = assert(xs.distinct.size == 1, "failed: " + xs)
-
-  def mkNumbers(x: Int): List[Number] =
-    List(x.toByte, x.toShort, x, x.toLong, x.toFloat, x.toDouble)
-
-  def testLDF(x: Long) = allSame(List[Number](x, x.toDouble, x.toFloat) map hashFromNumber)
-
-  def main(args: Array[String]): Unit = {
-    List(Byte.MinValue, -1, 0, 1, Byte.MaxValue) foreach { n =>
-      val hashes = mkNumbers(n) map hashFromNumber
-      allSame(hashes)
-      if (n >= 0) {
-        val charCode = hashFromObject(n.toChar: Character)
-        assert(charCode == hashes.head)
-      }
-    }
-
-    testLDF(Short.MaxValue.toLong)
-    testLDF(Short.MinValue.toLong)
-  }
-}
diff --git a/tests/pending/run/lazy-exprs.check b/tests/pending/run/lazy-exprs.check
deleted file mode 100644
index 2efb8ceb4..000000000
--- a/tests/pending/run/lazy-exprs.check
+++ /dev/null
@@ -1,21 +0,0 @@
-lazy-exprs.scala:38: warning: match may not be exhaustive.
-It would fail on the following input: Some((x: String forSome x not in Z1))
-    t match {
-    ^
-lazy-exprs.scala:62: warning: match may not be exhaustive.
-It would fail on the following input: Some((x: String forSome x not in LazyField))
-    t match {
-    ^
-forced <z1>
-lazy val in scrutinee: ok
-forced <z1>
-lazy val in case: ok
-lazy val in case: forced <z1>
-ok
-lazy val in if condition: forced <z1>
-ok
-lazy val in pattern: forced LazyField
-ok
-lazy val with patterns:
-x and y: xy(x, y)
-x1 and y1: x1y1(x1, y1)
diff --git a/tests/pending/run/lazy-exprs.scala b/tests/pending/run/lazy-exprs.scala
deleted file mode 100644
index 3ba6b46ab..000000000
--- a/tests/pending/run/lazy-exprs.scala
+++ /dev/null
@@ -1,95 +0,0 @@
-object TestExpressions {
-
-  def patmatchScrut: Unit = {
-    lazy val z1: Option[String] = { println("forced <z1>"); Some("lazy z1") }
-
-    val res = z1 match {
-      case Some(msg) => msg
-      case None => "failed"
-    }
-    print("lazy val in scrutinee: ")
-    if (res == "lazy z1")
-      println("ok")
-    else
-      println("failed")
-  }
-
-  def patmatchCase: Unit = {
-    val t: Option[String] = Some("test")
-    val res = t match {
-      case Some(msg) =>
-        lazy val z1 = { println("forced <z1>"); "lazy z1" }
-        z1
-
-      case None => "failed"
-    }
-    print("lazy val in case: ")
-    if (res == "lazy z1")
-      println("ok")
-    else
-      println("failed")
-  }
-
-
-  def patmatchPat: Unit = {
-    lazy val Z1 = { println("forced <z1>"); "lazy Z1" }
-    print("lazy val in case: ")
-    val t: Option[String] = Some("lazy Z1")
-    t match {
-      case Some(Z1) =>
-        println("ok")
-
-      case None =>
-        println("failed")
-    }
-  }
-
-  def ifcond: Unit = {
-    lazy val z1 = { println("forced <z1>"); "lazy z1" }
-    print("lazy val in if condition: ")
-    if (z1 == "lazy z1")
-      println("ok")
-    else
-      println("failed")
-  }
-
-
-  lazy val LazyField = { println("forced LazyField"); "LazyField" }
-
-  def testPatMatchField: Unit = {
-    print("lazy val in pattern: ")
-    val t: Option[String] = Some("LazyField")
-    t match {
-      case Some(LazyField) =>
-        println("ok")
-
-      case None =>
-        println("failed")
-    }
-  }
-
-  lazy val (x, y) = ({print("x"); "x"}, {print("y"); "y"})
-  def testPatLazyVal: Unit = {
-    println("lazy val with patterns:")
-    print("x and y: ")
-    println("(" + x + ", " + y + ")")
-    lazy val (x1, y1) = ({print("x1"); "x1"}, {print("y1"); "y1"})
-    print("x1 and y1: ")
-    println("(" + x1 + ", " + y1 + ")")
-  }
-
-  def test: Unit = {
-    patmatchScrut
-    patmatchCase
-    patmatchPat
-    ifcond
-    testPatMatchField
-    testPatLazyVal
-  }
-}
-
-
-object Test extends dotty.runtime.LegacyApp {
-
-  TestExpressions.test
-}
diff --git a/tests/pending/run/nothingTypeNoFramesNoDce.check b/tests/pending/run/nothingTypeNoFramesNoDce.check
deleted file mode 100644
index b1d08b45f..000000000
--- a/tests/pending/run/nothingTypeNoFramesNoDce.check
+++ /dev/null
@@ -1 +0,0 @@
-warning: -target:jvm-1.5 is deprecated: use target for Java 1.6 or above.
diff --git a/tests/pending/run/nothingTypeNoFramesNoDce.flags b/tests/pending/run/nothingTypeNoFramesNoDce.flags
deleted file mode 100644
index a035c8617..000000000
--- a/tests/pending/run/nothingTypeNoFramesNoDce.flags
+++ /dev/null
@@ -1 +0,0 @@
--target:jvm-1.5 -Ybackend:GenBCode -Yopt:l:none -deprecation
diff --git a/tests/pending/run/nothingTypeNoFramesNoDce.scala b/tests/pending/run/nothingTypeNoFramesNoDce.scala
deleted file mode 100644
index 13c1617dd..000000000
--- a/tests/pending/run/nothingTypeNoFramesNoDce.scala
+++ /dev/null
@@ -1,61 +0,0 @@
-// See comment in BCodeBodyBuilder
-
-// -target:jvm-1.5 -Ybackend:GenBCode -Yopt:l:none
-// target disables stack map frame generation. in this mode, the ClssWriter just emits dead code as is.
-
-class C {
-  // can't just emit a call to ???, that returns value of type Nothing$ (not Int).
-  def f1: Int = ???
-
-  def f2: Int = throw new Error("")
-
-  def f3(x: Boolean) = {
-    var y = 0
-    // cannot assign an object of type Nothing$ to Int
-    if (x) y = ???
-    else   y = 1
-    y
-  }
-
-  def f4(x: Boolean) = {
-    var y = 0
-    // tests that whatever is emitted after the throw is valid (what? depends on opts, presence of stack map frames)
-    if (x) y = throw new Error("")
-    else   y = 1
-    y
-  }
-
-  def f5(x: Boolean) = {
-    // stack heights need to be the smae. ??? looks to the jvm like returning a value of
-    // type Nothing$, need to drop or throw it.
-    println(
-      if (x) { ???; 10 }
-      else 20
-    )
-  }
-
-  def f6(x: Boolean) = {
-    println(
-      if (x) { throw new Error(""); 10 }
-      else 20
-    )
-  }
-
-  def f7(x: Boolean) = {
-    println(
-      if (x) throw new Error("")
-      else 20
-    )
-  }
-
-  def f8(x: Boolean) = {
-    println(
-      if (x) throw new Error("")
-      else 20
-    )
-  }
-}
-
-object Test extends dotty.runtime.LegacyApp {
-  new C()
-}
diff --git a/tests/pending/run/origins.check b/tests/pending/run/origins.check
deleted file mode 100644
index b12cb6e38..000000000
--- a/tests/pending/run/origins.check
+++ /dev/null
@@ -1,6 +0,0 @@
-
->> Origins tag 'boop' logged 65 calls from 3 distinguished sources.
-
-     50   Test$$anonfun$f3$1.apply(origins.scala:16)
-     10   Test$$anonfun$f2$1.apply(origins.scala:15)
-      5   Test$$anonfun$f1$1.apply(origins.scala:14)
diff --git a/tests/pending/run/origins.flags b/tests/pending/run/origins.flags
deleted file mode 100644
index 690753d80..000000000
--- a/tests/pending/run/origins.flags
+++ /dev/null
@@ -1 +0,0 @@
--no-specialization -Ydelambdafy:inline
\ No newline at end of file
diff --git a/tests/pending/run/origins.scala b/tests/pending/run/origins.scala
deleted file mode 100644
index 6529351d3..000000000
--- a/tests/pending/run/origins.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-import scala.reflect.internal.util.Origins
-
-package goxbox {
-  object Socks {
-    val origins = Origins("boop")
-
-    def boop(x: Int): Int = origins { 5 }
-  }
-}
-
-object Test {
-  import goxbox.Socks.boop
-
-  def f1() = 1 to 5 map boop
-  def f2() = 1 to 10 map boop
-  def f3() = 1 to 50 map boop
-
-  def main(args: Array[String]): Unit = {
-    f1() ; f2() ; f3()
-  }
-}
diff --git a/tests/pending/run/spec-self.check b/tests/pending/run/spec-self.check
deleted file mode 100644
index e981f45c9..000000000
--- a/tests/pending/run/spec-self.check
+++ /dev/null
@@ -1,2 +0,0 @@
-5.0
-5.0
diff --git a/tests/pending/run/spec-self.scala b/tests/pending/run/spec-self.scala
deleted file mode 100644
index 1c95e0a82..000000000
--- a/tests/pending/run/spec-self.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-class Foo0 extends (() => Double) {
-  def apply() = 5.0d
-}
-
-class Foo1 extends (Double => Double) {
-  def apply(x: Double) = x
-}
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    println((new Foo0)())
-    println((new Foo1)(5.0d))
-  }
-}
diff --git a/tests/pending/run/t0807.check b/tests/pending/run/t0807.check
deleted file mode 100644
index c862cba6b..000000000
--- a/tests/pending/run/t0807.check
+++ /dev/null
@@ -1 +0,0 @@
-early
diff --git a/tests/pending/run/t0807.scala b/tests/pending/run/t0807.scala
deleted file mode 100644
index 1b5bc91c5..000000000
--- a/tests/pending/run/t0807.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-trait A
-trait B extends A { val x = println("early") }
-object Test extends dotty.runtime.LegacyApp {
-  new B {}
-}
diff --git a/tests/pending/run/t2087-and-2400.scala b/tests/pending/run/t2087-and-2400.scala
deleted file mode 100644
index 19a5df26e..000000000
--- a/tests/pending/run/t2087-and-2400.scala
+++ /dev/null
@@ -1,20 +0,0 @@
-object Test
-{
-  def negativeCharMaker = new (Short => Char) { def apply(x: Short) = x.toChar }
-  def main(args: Array[String]): Unit = {
-    // throws exception if -100 gets to Character.valueOf
-    val x = negativeCharMaker(-100)
-
-    // chars are unsigned, they should never be equal to negative values
-    assert((-100).toShort != (-100).toChar)
-    assert((-100).toChar != (-100).toShort)
-    assert((-100).toChar != (-100).toByte)
-    assert((-100).toByte != (-100).toChar)
-
-    // BoxesRunTime must agree as well
-    assert(((-100).toShort: Any) != (-100).toChar)
-    assert(((-100).toChar: Any) != (-100).toShort)
-    assert(((-100).toChar: Any) != (-100).toByte)
-    assert(((-100).toByte: Any) != (-100).toChar)
-  }
-}
diff --git a/tests/pending/run/t2857.check b/tests/pending/run/t2857.check
deleted file mode 100644
index c508d5366..000000000
--- a/tests/pending/run/t2857.check
+++ /dev/null
@@ -1 +0,0 @@
-false
diff --git a/tests/pending/run/t2857.scala b/tests/pending/run/t2857.scala
deleted file mode 100644
index 5df2d440e..000000000
--- a/tests/pending/run/t2857.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-object Test extends dotty.runtime.LegacyApp {
-  import collection.mutable._
-  val m = new HashMap[Int, Set[String]] with MultiMap[Int, String]
-  m.addBinding(6, "Foo")
-  m.removeBinding(6, "Foo")
-  println(m.contains(6))
-}
-
-
diff --git a/tests/pending/run/t3038.check b/tests/pending/run/t3038.check
deleted file mode 100644
index 9a325c4c1..000000000
--- a/tests/pending/run/t3038.check
+++ /dev/null
@@ -1,19 +0,0 @@
-a1
-a2
-a3
-a4
-a5
-a6
-a7
-a8
-a9
-c1
-c2
-c3
-c4
-c5
-c6
-c7
-c8
-c9
-c10
diff --git a/tests/pending/run/t3038.scala b/tests/pending/run/t3038.scala
deleted file mode 100644
index 6c9888c78..000000000
--- a/tests/pending/run/t3038.scala
+++ /dev/null
@@ -1,68 +0,0 @@
-class A {
-  private lazy val a1 = "a1"
-  object B
-  private lazy val a2 = "a2"
-
-
-  @transient lazy val a3 = "a3"
-  @transient private lazy val a4 = "a4"
-  @transient lazy val a5 = "a5"
-  @transient private lazy val a6 = "a6"
-
-  final val a7 = "a7"
-  private final val a8 = "a8"
-  @transient final val a9 = "a9"
-
-
-
-
-  def run = {
-    println(a1)
-    B
-    println(a2)
-    println(a3)
-    println(a4)
-    println(a5)
-    println(a6)
-    println(a7)
-    println(a8)
-    println(a9)
-  }
-}
-
-class C extends A {
-  private lazy val c1 = "c1"
-  lazy val c2 = "c2"
-
-  private lazy val c3 = "c3"
-
-  @transient lazy val c4 = "c4"
-  @transient private lazy val c5 = "c5"
-  @transient lazy val c6 = "c6"
-  @transient private lazy val c7 = "c7"
-  lazy val c8 = "c8"
-
-  final val c9 = "c9"
-  private final val c10 = "c10"
-
-
-
-  override def run = {
-    super.run
-    println(c1)
-    println(c2)
-    println(c3)
-    println(c4)
-    println(c5)
-    println(c6)
-    println(c7)
-    println(c8)
-    println(c9)
-    println(c10)
-  }
-}
-
-object Test extends dotty.runtime.LegacyApp {
-  (new C).run
-}
-
diff --git a/tests/pending/run/t3038b.check b/tests/pending/run/t3038b.check
deleted file mode 100644
index cf0389a5a..000000000
--- a/tests/pending/run/t3038b.check
+++ /dev/null
@@ -1,6 +0,0 @@
-1
-2
-3
-4
-5
-6
\ No newline at end of file
diff --git a/tests/pending/run/t3038b.flags b/tests/pending/run/t3038b.flags
deleted file mode 100644
index ae0844605..000000000
--- a/tests/pending/run/t3038b.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xcheckinit
\ No newline at end of file
diff --git a/tests/pending/run/t3038b.scala b/tests/pending/run/t3038b.scala
deleted file mode 100644
index 559f754aa..000000000
--- a/tests/pending/run/t3038b.scala
+++ /dev/null
@@ -1,20 +0,0 @@
-class A {
-    val a1 = 1
-    val a2 = 2
-    private val b1 = 3
-    private val b2 = 4
-    @transient val c1 = 5
-    @transient val c2 = 6
-    def run = {
-        println(a1)
-        println(a2)
-        println(b1)
-        println(b2)
-        println(c1)
-        println(c2)
-    }
-}
-
-object Test extends dotty.runtime.LegacyApp {
-    new A().run
-}
diff --git a/tests/pending/run/t3038c.check b/tests/pending/run/t3038c.check
deleted file mode 100644
index a7e7ae9bd..000000000
--- a/tests/pending/run/t3038c.check
+++ /dev/null
@@ -1,2 +0,0 @@
-List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70)
-List(71, 72, 73, 74, 75, 76, 77, 78, 79, 80)
diff --git a/tests/pending/run/t3038c/A_1.scala b/tests/pending/run/t3038c/A_1.scala
deleted file mode 100644
index 91564e302..000000000
--- a/tests/pending/run/t3038c/A_1.scala
+++ /dev/null
@@ -1,83 +0,0 @@
-class A {
-    lazy val a0 = 1
-    lazy val a1 = 2
-    lazy val a2 = 3
-    lazy val a3 = 4
-    lazy val a4 = 5
-    lazy val a5 = 6
-    lazy val a6 = 7
-    lazy val a7 = 8
-    lazy val a8 = 9
-    lazy val a9 = 10
-    lazy val a10 = 11
-    lazy val a11 = 12
-    lazy val a12 = 13
-    lazy val a13 = 14
-    lazy val a14 = 15
-    lazy val a15 = 16
-    lazy val a16 = 17
-    lazy val a17 = 18
-    lazy val a18 = 19
-    lazy val a19 = 20
-    lazy val a20 = 21
-    lazy val a21 = 22
-    lazy val a22 = 23
-    lazy val a23 = 24
-    lazy val a24 = 25
-    lazy val a25 = 26
-    lazy val a26 = 27
-    lazy val a27 = 28
-    lazy val a28 = 29
-    lazy val a29 = 30
-    lazy val a30 = 31
-    lazy val a31 = 32
-    lazy val a32 = 33
-    lazy val a33 = 34
-    lazy val a34 = 35
-    lazy val a35 = 36
-    lazy val a36 = 37
-    lazy val a37 = 38
-    lazy val a38 = 39
-    lazy val a39 = 40
-    lazy val a40 = 41
-    lazy val a41 = 42
-    lazy val a42 = 43
-    lazy val a43 = 44
-    lazy val a44 = 45
-    lazy val a45 = 46
-    lazy val a46 = 47
-    lazy val a47 = 48
-    lazy val a48 = 49
-    lazy val a49 = 50
-    lazy val a50 = 51
-    lazy val a51 = 52
-    lazy val a52 = 53
-    lazy val a53 = 54
-    lazy val a54 = 55
-    lazy val a55 = 56
-    lazy val a56 = 57
-    lazy val a57 = 58
-    lazy val a58 = 59
-    lazy val a59 = 60
-    private lazy val a60 = 61
-    private lazy val a61 = 62
-    private lazy val a62 = 63
-    private lazy val a63 = 64
-    private lazy val a64 = 65
-    private lazy val a65 = 66
-    private lazy val a66 = 67
-    private lazy val a67 = 68
-    private lazy val a68 = 69
-    private lazy val a69 = 70
-
-    def run = {
-        println(List(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9,
-                a10, a11, a12, a13, a14, a15, a16, a17, a18, a19,
-                a20, a21, a22, a23, a24, a25, a26, a27, a28, a29,
-                a30, a31, a32, a33, a34, a35, a36, a37, a38, a39,
-                a40, a41, a42, a43, a44, a45, a46, a47, a48, a49,
-                a50, a51, a52, a53, a54, a55, a56, a57, a58, a59,
-                a60, a61, a62, a63, a64, a65, a66, a67, a68, a69))
-    }
-
-}
diff --git a/tests/pending/run/t3038c/B_2.scala b/tests/pending/run/t3038c/B_2.scala
deleted file mode 100644
index d5b7baa1c..000000000
--- a/tests/pending/run/t3038c/B_2.scala
+++ /dev/null
@@ -1,24 +0,0 @@
-
-class B extends A {
-  lazy val b0 = 71
-  lazy val b1 = 72
-  lazy val b2 = 73
-  lazy val b3 = 74
-  lazy val b4 = 75
-  lazy val b5 = 76
-  lazy val b6 = 77
-  lazy val b7 = 78
-  lazy val b8 = 79
-  lazy val b9 = 80
-  override def run = {
-    super.run
-    println(List(b0, b1, b2, b3, b4, b5, b6, b7, b8, b9))
-  }
-
-}
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    new B().run
-  }
-}
diff --git a/tests/pending/run/t3126.scala b/tests/pending/run/t3126.scala
deleted file mode 100644
index 36322bf89..000000000
--- a/tests/pending/run/t3126.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-object Test {
-  case class C(x: Int)
-  val v: Some[Int] = null
-
-  def main(args: Array[String]): Unit = {
-    try C.unapply(null) catch { case _: MatchError => }
-    try v match { case Some(1) => } catch { case _: MatchError => }
-  }
-}
diff --git a/tests/pending/run/t3452.check b/tests/pending/run/t3452.check
deleted file mode 100644
index b8626c4cf..000000000
--- a/tests/pending/run/t3452.check
+++ /dev/null
@@ -1 +0,0 @@
-4
diff --git a/tests/pending/run/t3452.scala b/tests/pending/run/t3452.scala
deleted file mode 100644
index 253fc93cf..000000000
--- a/tests/pending/run/t3452.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-trait IStringPair[T] {
-  def a : String
-  def b : String
-  def build(a : String, b : String) : T
-  def cat(that : IStringPair[T]) = build(this.a + that.a, this.b + that.b)
-  override def toString = a + b
-}
-
-class StringPair(val a : String, val b : String) extends IStringPair[StringPair] {
-  def build(a : String, b : String) = new StringPair(a, b)
-  def len = a.length + b.length
-}
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    val a = new StringPair("A", "B")
-    val b = new StringPair("1", "2")
-    val c = a cat b
-    println(c.len)
-  }
-}
diff --git a/tests/pending/run/t3452c.check b/tests/pending/run/t3452c.check
deleted file mode 100644
index ab4718119..000000000
--- a/tests/pending/run/t3452c.check
+++ /dev/null
@@ -1,8 +0,0 @@
-3
-3
-3
-3
-3
-3
-3
-3
diff --git a/tests/pending/run/t3452c.scala b/tests/pending/run/t3452c.scala
deleted file mode 100644
index 2c55767ab..000000000
--- a/tests/pending/run/t3452c.scala
+++ /dev/null
@@ -1,113 +0,0 @@
-trait Base[A, B, C] {
-  def f(x: A, y: B, z: C): Unit
-  def g(x: A, y: B, z: C) = f(x, y, z)
-  def h(x: A, y: B, z: C) = g(x, y, z)
-}
-
-trait D1[B, C] extends Base[String, B, C]
-trait D2[A, B] extends Base[A, B, String]
-trait D3[A, C] extends Base[A, String, C]
-trait D4[A] extends Base[A, String, String]
-trait D5[B] extends Base[String, B, String]
-trait D6[C] extends Base[String, String, C]
-trait D7 extends Base[String, String, String]
-
-trait E1[B, C] extends Base[String, B, C] { def f(x: String, y: B, z: C): Unit ; override def h(x: String, y: B, z: C) = g(x, y, z) }
-trait E2[A, B] extends Base[A, B, String] { def f(x: A, y: B, z: String): Unit ; override def h(x: A, y: B, z: String) = g(x, y, z) }
-trait E3[A, C] extends Base[A, String, C] { def f(x: A, y: String, z: C): Unit ; override def h(x: A, y: String, z: C) = g(x, y, z) }
-trait E4[A] extends Base[A, String, String] { def f(x: A, y: String, z: String): Unit ; override def h(x: A, y: String, z: String) = g(x, y, z) }
-trait E5[B] extends Base[String, B, String] { def f(x: String, y: B, z: String): Unit ; override def h(x: String, y: B, z: String) = g(x, y, z) }
-trait E6[C] extends Base[String, String, C] { def f(x: String, y: String, z: C): Unit ; override def h(x: String, y: String, z: C) = g(x, y, z) }
-trait E7 extends Base[String, String, String] { def f(x: String, y: String, z: String): Unit ; override def h(x: String, y: String, z: String) = g(x, y, z) }
-
-trait F1[B, C] extends Base[String, B, C] { def f(x: String, y: B, z: C): Unit = println(x.length) }
-trait F2[A, B] extends Base[A, B, String] { def f(x: A, y: B, z: String): Unit = println(z.length) }
-trait F3[A, C] extends Base[A, String, C] { def f(x: A, y: String, z: C): Unit  = println(y.length) }
-trait F4[A] extends Base[A, String, String] { def f(x: A, y: String, z: String): Unit = println(y.length) }
-trait F5[B] extends Base[String, B, String] { def f(x: String, y: B, z: String): Unit = println(x.length) }
-trait F6[C] extends Base[String, String, C] { def f(x: String, y: String, z: C): Unit = println(x.length) }
-trait F7 extends Base[String, String, String] { def f(x: String, y: String, z: String): Unit = println(x.length) }
-
-abstract class DBag extends D1[String, String] with D2[String, String] with D3[String, String] with D4[String] with D5[String] with D6[String] with D7 {
-  def f(x: String, y: String, z: String) = println(x.length + y.length + z.length)
-}
-abstract class EBag extends E1[String, String] with E2[String, String] with E3[String, String] with E4[String] with E5[String] with E6[String] with E7 {
-  def f(x: String, y: String, z: String) = println(x.length + y.length + z.length)
-}
-abstract class FBag extends F1[String, String] with F2[String, String] with F3[String, String] with F4[String] with F5[String] with F6[String] with F7 {
-  override def f(x: String, y: String, z: String) = println(x.length + y.length + z.length)
-}
-
-abstract class GBag1[A, B] extends Base[A, B, String] with D2[A, B] {
-  def f(x: A, y: B, z: String) = println(z.length)
-}
-abstract class GBag2[A] extends GBag1[A, String] with D4[A] {
-  override def f(x: A, y: String, z: String) = println(z.length)
-}
-abstract class GBag3 extends GBag2[String] with D7 {
-  override def f(x: String, y: String, z: String) = println(z.length)
-}
-class GBag extends GBag3 with D2[String, String] with D3[String, String] with D4[String] with D5[String] with D6[String] with D7 {
-}
-
-object Test {
-  def f0(x: Base[String, String, String]) = x.f("a", "b", "c")
-  def f1(x: D1[String, String])           = x.f("a", "b", "c")
-  def f2(x: D2[String, String])           = x.f("a", "b", "c")
-  def f3(x: D3[String, String])           = x.f("a", "b", "c")
-  def f4(x: D4[String])                   = x.f("a", "b", "c")
-  def f5(x: D5[String])                   = x.f("a", "b", "c")
-  def f6(x: D6[String])                   = x.f("a", "b", "c")
-  def f7(x: D7)                           = x.f("a", "b", "c")
-
-  def main(args: Array[String]): Unit = {
-    val x = new DBag { }
-    f0(x)
-    f1(x)
-    f2(x)
-    f3(x)
-    f4(x)
-    f5(x)
-    f6(x)
-    f7(x)
-  }
-}
-
-object TestE {
-  def f0(x: Base[String, String, String]) = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f1(x: E1[String, String])           = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f2(x: E2[String, String])           = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f3(x: E3[String, String])           = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f4(x: E4[String])                   = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f5(x: E5[String])                   = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f6(x: E6[String])                   = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f7(x: E7)                           = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-
-  def main(args: Array[String]): Unit = {
-    val x = new EBag { }
-    f0(x)
-    f1(x)
-    f2(x)
-    f3(x)
-    f4(x)
-    f5(x)
-    f6(x)
-    f7(x)
-  }
-}
-
-
-object TestG {
-  def f0(x: Base[String, String, String]) = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f1(x: GBag1[String, String])        = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f2(x: GBag2[String])                = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-  def f3(x: GBag3)                        = { x.f("a", "b", "c") ; x.g("a", "b", "c") ; x.h("a", "b", "c") }
-
-  def main(args: Array[String]): Unit = {
-    val x = new GBag { }
-    f0(x)
-    f1(x)
-    f2(x)
-    f3(x)
-  }
-}
diff --git a/tests/pending/run/t3452f.scala b/tests/pending/run/t3452f.scala
deleted file mode 100644
index af64f5c04..000000000
--- a/tests/pending/run/t3452f.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-import language.higherKinds
-
-trait GenSet[A]
-
-trait GenSetTemplate[A, +CC[X] <: GenSet[X]] {
-  def empty: CC[A] = ???
-}
-
-trait SetLike[A, +This <: SetLike[A, This] with Set[A]] {
-  def empty: This
-}
-
-abstract class Set[A] extends GenSet[A] with SetLike[A,Set[A]] with GenSetTemplate[A,Set]
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    locally(classOf[Set[_]]) // trigger classloading to verify class
-  }
-}
diff --git a/tests/pending/run/t3502.scala b/tests/pending/run/t3502.scala
deleted file mode 100644
index 2f432e486..000000000
--- a/tests/pending/run/t3502.scala
+++ /dev/null
@@ -1,24 +0,0 @@
-
-
-
-
-
-// ticket #3502
-object Test {
-
-  object GeneratePrimeFactorsLazy extends (Int => List[Int]) {
-    override def apply(n:Int) = {
-      val s = Stream.range(2, n / 2).filter(n % _ == 0)
-      //val s = for (i <- Stream.range(2, n / 2); if n % i == 0) yield i
-      s.headOption.map(x => x :: apply(n / x)).getOrElse(List(n))
-    }
-  }
-
-  def main(args:Array[String]): Unit = {
-    // a prime number
-    //val num = 623456789
-    val num = 2796203
-    assert(GeneratePrimeFactorsLazy(num) == List(num))
-  }
-
-}
diff --git a/tests/pending/run/t3651.scala b/tests/pending/run/t3651.scala
deleted file mode 100644
index c4c5c2ed6..000000000
--- a/tests/pending/run/t3651.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-class Klass[@specialized(Long) A]( val a: A )
-
-class LongKlass( override val a: Long ) extends Klass[Long](a)
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    val lk = new LongKlass(10)
-    val a = lk.a
-  }
-}
diff --git a/tests/pending/run/t3670.check b/tests/pending/run/t3670.check
deleted file mode 100644
index bc49bb643..000000000
--- a/tests/pending/run/t3670.check
+++ /dev/null
@@ -1,5 +0,0 @@
-a
-b
-1
-2
-42
diff --git a/tests/pending/run/t3670.scala b/tests/pending/run/t3670.scala
deleted file mode 100644
index b9cee847b..000000000
--- a/tests/pending/run/t3670.scala
+++ /dev/null
@@ -1,31 +0,0 @@
-class C {
-  val things = List("abcs")
-
-  if (things.length < 30) {
-    lazy val a = "a"
-    println(a)
-  }
-  if (things.length < 30) {
-    lazy val b = "b"
-    println(b)
-  }
-}
-
-class M extends dotty.runtime.LegacyApp {
-  def foo: Unit = {
-    lazy val a = {
-        lazy val b = 1
-        lazy val c = 2
-        println(b)
-        println(c)
-    }
-    a
-    lazy val d = 42
-    println(d)
-  }
-}
-
-object Test extends dotty.runtime.LegacyApp {
-    new C()
-    new M().foo
-}
diff --git a/tests/pending/run/t3895.check b/tests/pending/run/t3895.check
deleted file mode 100644
index 3045ebf01..000000000
--- a/tests/pending/run/t3895.check
+++ /dev/null
@@ -1,2 +0,0 @@
-17
-17
\ No newline at end of file
diff --git a/tests/pending/run/t3895.flags b/tests/pending/run/t3895.flags
deleted file mode 100644
index ae0844605..000000000
--- a/tests/pending/run/t3895.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xcheckinit
\ No newline at end of file
diff --git a/tests/pending/run/t3895.scala b/tests/pending/run/t3895.scala
deleted file mode 100644
index 5f83235de..000000000
--- a/tests/pending/run/t3895.scala
+++ /dev/null
@@ -1,36 +0,0 @@
-class C extends A{
-
-  val a = 10
-  //object bb
-  lazy val bb = 17
-  val b = 12
-}
-
-abstract class A{
-    val a: Int
-    val b: Int
-    val c: Int = 12
-}
-
-class B extends A{
-
-  val a = 10
-  //object bb
-  lazy val bb = 17
-  val b = 12
-}
-
-trait T {
-    private final val a = false
-}
-
-class Impl extends T
-
-
-object Test {
-    def main(args: Array[String]): Unit = {
-        println(new B().bb)
-        println(new C().bb)
-    }
-}
-
diff --git a/tests/pending/run/t3980.check b/tests/pending/run/t3980.check
deleted file mode 100644
index 8bb03f18b..000000000
--- a/tests/pending/run/t3980.check
+++ /dev/null
@@ -1,3 +0,0 @@
-once
-2
-2
diff --git a/tests/pending/run/t3980.scala b/tests/pending/run/t3980.scala
deleted file mode 100644
index dbe9644ea..000000000
--- a/tests/pending/run/t3980.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-object A {
-  def run1: Unit = {
-    lazy val x: Unit = {(); println("once")}
-    x
-    x
-  }
-  def run2: Unit = {
-	lazy val y: Int = 2
-	println(y)
-	println(y)
-  }
-}
-
-object Test {
-  def main(args: Array[String]) = {
-	A.run1
-	A.run2
-  }
-}
diff --git a/tests/pending/run/t4742.flags b/tests/pending/run/t4742.flags
deleted file mode 100644
index ae0844605..000000000
--- a/tests/pending/run/t4742.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xcheckinit
\ No newline at end of file
diff --git a/tests/pending/run/t4742.scala b/tests/pending/run/t4742.scala
deleted file mode 100644
index 47656049b..000000000
--- a/tests/pending/run/t4742.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-trait T { val x: Int = 0 }
-object O extends T { override final val x = 1 }
-
-object Test extends dotty.runtime.LegacyApp {
-  // was throwing an UnitializedFieldError as constant 1 is folded into the accessor
-  assert((O: T).x == 1)
-}
diff --git a/tests/pending/run/t5045.check b/tests/pending/run/t5045.check
deleted file mode 100644
index 7e9c1961b..000000000
--- a/tests/pending/run/t5045.check
+++ /dev/null
@@ -1,6 +0,0 @@
-                  extract an exact match  2011-07-15 2011-07-15
-           extract from middle of string  2011-07-15 2011-07-15
-      extract from middle of string (P2)  2011-07-15 2011-07-15
-      extract from middle of string (P3)  2011-07-15 2011-07-15
-              copyright example has date  Copyright 2011 Copyright 2011
-          copyright example missing date  No copyright No copyright
diff --git a/tests/pending/run/t5045.scala b/tests/pending/run/t5045.scala
deleted file mode 100644
index 3778339aa..000000000
--- a/tests/pending/run/t5045.scala
+++ /dev/null
@@ -1,49 +0,0 @@
-
-import scala.language.postfixOps
-
-object Test extends dotty.runtime.LegacyApp {
-
- import scala.util.matching.{ Regex, UnanchoredRegex }
-
- val dateP1 = """(\d\d\d\d)-(\d\d)-(\d\d)""".r.unanchored
- val dateP2 = """(\d\d\d\d)-(\d\d)-(\d\d)""" r ("year", "month", "day") unanchored
- val dateP3 =  new Regex("""(\d\d\d\d)-(\d\d)-(\d\d)""", "year", "month", "day") with UnanchoredRegex
-
- val yearStr = "2011"
- val dateStr = List(yearStr,"07","15").mkString("-")
-
-  def test(msg: String)(strs: Seq[String]): Unit = println("%40s  %s".format(msg, strs mkString " "))
-
-  test("extract an exact match") {
-    val dateP1(y,m,d) = dateStr
-    Seq(List(y,m,d).mkString("-"), dateStr)
-  }
-
-  test("extract from middle of string") {
-    val dateP1(y,m,d) = "Tested on "+dateStr+"."
-    Seq(List(y,m,d).mkString("-"), dateStr)
-  }
-
-  test("extract from middle of string (P2)") {
-    val dateP2(y,m,d) = "Tested on "+dateStr+"."
-    Seq(List(y,m,d).mkString("-"), dateStr)
-  }
-
-  test("extract from middle of string (P3)") {
-    val dateP2(y,m,d) = "Tested on "+dateStr+"."
-    Seq(List(y,m,d).mkString("-"), dateStr)
-  }
-
-  def copyright(in: String): String = in match {
-    case dateP1(year, month, day) => "Copyright "+year
-    case _                        => "No copyright"
-  }
-
-  test("copyright example has date") {
-    Seq(copyright("Date of this document: "+dateStr), "Copyright "+yearStr)
-  }
-
-  test("copyright example missing date") {
-    Seq(copyright("Date of this document: unknown"), "No copyright")
-  }
-}
diff --git a/tests/pending/run/t5300.scala b/tests/pending/run/t5300.scala
deleted file mode 100644
index 0f1c80717..000000000
--- a/tests/pending/run/t5300.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-object Test {
-  val pf: PartialFunction[Any, Unit] = { case _ => () }
-
-  def main(args: Array[String]): Unit = {
-    pf orElse pf
-  }
-}
diff --git a/tests/pending/run/t5328.check b/tests/pending/run/t5328.check
deleted file mode 100644
index 77a43968c..000000000
--- a/tests/pending/run/t5328.check
+++ /dev/null
@@ -1,3 +0,0 @@
-2
-1,2,8
-1,8,3
diff --git a/tests/pending/run/t5328.scala b/tests/pending/run/t5328.scala
deleted file mode 100644
index 74c8ace89..000000000
--- a/tests/pending/run/t5328.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-object Test extends dotty.runtime.LegacyApp {
-  println(Vector(1).view.updated(0,2).toList mkString ",")
-  println(Seq(1,2,3).view.updated(2,8).toList mkString ",")
-  println(List(1,2,3).view.updated(1,8).toList mkString ",")
-}
diff --git a/tests/pending/run/t603.check b/tests/pending/run/t603.check
deleted file mode 100644
index 1f4082502..000000000
--- a/tests/pending/run/t603.check
+++ /dev/null
@@ -1,5 +0,0 @@
-s = Susp(?)
-evaluating...
-s() = 3
-s = Susp(3)
-2 + s = 5
diff --git a/tests/pending/run/t603.scala b/tests/pending/run/t603.scala
deleted file mode 100644
index 84a224a40..000000000
--- a/tests/pending/run/t603.scala
+++ /dev/null
@@ -1,35 +0,0 @@
-object forceDelay {
-  import scala.language.implicitConversions
-
-  class Susp[+A](lazyValue: => A) extends Function0[A] {
-    private var func: () => Any = () => lazyValue
-    private var value: Any = null
-
-    override def apply() = {
-      if (func != null) {
-        value = func().asInstanceOf[A]
-        func = null
-      }
-      value.asInstanceOf[A]
-    }
-
-    override def toString() =
-      if (func == null) "Susp(" + value + ")"
-      else "Susp(?)"
-  }
-
-  def delay[A](value: => A) = new Susp[A](value)
-  implicit def force[A](s: Susp[A]): A = s()
-}
-
-object Test {
-  import forceDelay._
-
-  def main(args: Array[String]) = {
-    val s: Susp[Int] = delay { Console.println("evaluating..."); 3 }
-    Console.println("s = " + s)
-    Console.println("s() = " + s())
-    Console.println("s = " + s)
-    Console.println("2 + s = " + (2 + s))
-  }
-}
diff --git a/tests/pending/run/t6853.scala b/tests/pending/run/t6853.scala
deleted file mode 100644
index 352375c99..000000000
--- a/tests/pending/run/t6853.scala
+++ /dev/null
@@ -1,18 +0,0 @@
-// Test cases: the only place we can cut and paste without crying
-// ourself to sleep.
-object Test {
-
-  def main(args: Array[String]): Unit = {
-    // First testing the basic operations
-    val m = collection.mutable.ListMap[String, Int]()
-    var i = 0
-    while(i < 2) { m += ("foo" + i) -> i; i = i+1}
-    assert(m == Map("foo1"->1,"foo0"->0))
-    m-= "foo0"
-    assert(m == Map("foo1"->1))
-    // Now checking if it scales as described in SI-6853
-    i = 0
-    while(i < 80000) { m += ("foo" + i) -> i; i = i+1}
-    assert(m.size == 80000)
-  }
-}
diff --git a/tests/pending/run/t751.scala b/tests/pending/run/t751.scala
deleted file mode 100644
index 294d3af5c..000000000
--- a/tests/pending/run/t751.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-object Test {
-  def main(args: Array[String]): Unit = {
-    val map =  Map(1 -> "a", 2 -> "b", 3 -> "c")
-    assert(map.filterKeys(_ % 2 == 0).isInstanceOf[scala.collection.immutable.Map[_,_]])
-  }
-}
diff --git a/tests/pending/run/t7584.check b/tests/pending/run/t7584.check
deleted file mode 100644
index 9f53e5dde..000000000
--- a/tests/pending/run/t7584.check
+++ /dev/null
@@ -1,6 +0,0 @@
-no calls
-call A
-a
-call B twice
-b
-b
diff --git a/tests/pending/run/t7584.flags b/tests/pending/run/t7584.flags
deleted file mode 100644
index e8fb65d50..000000000
--- a/tests/pending/run/t7584.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xfatal-warnings
\ No newline at end of file
diff --git a/tests/pending/run/t7584.scala b/tests/pending/run/t7584.scala
deleted file mode 100644
index f134b04a5..000000000
--- a/tests/pending/run/t7584.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-// Test case added to show the behaviour of functions with
-// by-name parameters.  The evaluation behaviour was already correct.
-//
-// We did flush out a spurious "pure expression does nothing in statement position"
-// warning, hence -Xfatal-warnings in the flags file.
-object Test extends dotty.runtime.LegacyApp {
-  def foo(f: (=> Int, => Int) => Unit) = f({println("a"); 0}, {println("b"); 1})
-  println("no calls")
-  foo((a, b) => ())
-  println("call A")
-  foo((a, b) => a)
-  println("call B twice")
-  foo((a, b) => {b; b})
-}
diff --git a/tests/pending/run/t7859/A_1.scala b/tests/pending/run/t7859/A_1.scala
deleted file mode 100644
index 74f0709d4..000000000
--- a/tests/pending/run/t7859/A_1.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-class A(private val x: Int) extends AnyVal
-
-object A {
-  val Const = new A(0)
-}
-
-class A1(protected val x: Int) extends AnyVal
-
-package p {
-  class A2(private[p] val x: Int) extends AnyVal
-}
diff --git a/tests/pending/run/t7859/B_2.scala b/tests/pending/run/t7859/B_2.scala
deleted file mode 100644
index 052322ef6..000000000
--- a/tests/pending/run/t7859/B_2.scala
+++ /dev/null
@@ -1,47 +0,0 @@
-class B private (private val b: Int) extends AnyVal
-object B {
-  val Const = new B(0)
-}
-
-// These tests will require erasure to unbox the value class.
-// We need to test under joint and separate compilation to check
-// that the 'notPRIVATE' flag on the param accessor is pickled.
-//
-// See also SI-6601.
-object Test {
-  def main(args: Array[String]): Unit = {
-    unboxA
-    unboxA1
-    unboxA2
-    unboxB
-  }
-
-  def unboxA: Unit = {
-    val o: Some[A] = Some(A.Const)
-    val a = o.get
-    def id(a: A): A = a
-    id(a)
-  }
-
-  def unboxA1: Unit = {
-    val o: Some[A1] = Some(new A1(0))
-    val a = o.get
-    def id(a: A1): A1 = a
-    id(a)
-  }
-
-  def unboxA2: Unit = {
-    import p.A2
-    val o: Some[A2] = Some(new A2(0))
-    val a = o.get
-    def id(a: A2): A2 = a
-    id(a)
-  }
-
-  def unboxB: Unit = {
-    val o: Some[B] = Some(B.Const)
-    val b = o.get
-    def id(b: B): B = b
-    id(b)
-  }
-}
diff --git a/tests/pending/run/t8280.check b/tests/pending/run/t8280.check
deleted file mode 100644
index ed392841c..000000000
--- a/tests/pending/run/t8280.check
+++ /dev/null
@@ -1,9 +0,0 @@
-Int
-Int
-Int
-Int
-Int
-Int
-Int
-Int
-Int
diff --git a/tests/pending/run/t8280.scala b/tests/pending/run/t8280.scala
deleted file mode 100644
index 0734d63b6..000000000
--- a/tests/pending/run/t8280.scala
+++ /dev/null
@@ -1,82 +0,0 @@
-import scala.language.implicitConversions
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    Moop1.ob1
-    Moop1.ob2
-    Moop1.ob3
-    Moop2.ob1
-    Moop2.ob2
-    Moop2.ob3
-    Moop3.ob1
-    Moop3.ob2
-    Moop3.ob3
-  }
-}
-
-// int object vs.
-object Moop1 {
-  object ob1 {
-    implicit object f1 extends (Int => String) { def apply(x: Int): String = "Int" }
-    implicit object f2 extends (Long => String) { def apply(x: Long): String = "Long" }
-
-    println(5: String)
-  }
-  object ob2 {
-    implicit object f1 extends (Int => String) { def apply(x: Int): String = "Int" }
-    implicit def f2(x: Long): String = "Long"
-
-    println(5: String)
-  }
-  object ob3 {
-    implicit object f1 extends (Int => String) { def apply(x: Int): String = "Int" }
-    implicit val f2: Long => String = _ => "Long"
-
-    println(5: String)
-  }
-}
-
-// int def vs.
-object Moop2 {
-  object ob1 {
-    implicit def f1(x: Int): String = "Int"
-    implicit object f2 extends (Long => String) { def apply(x: Long): String = "Long" }
-
-    println(5: String)
-  }
-  object ob2 {
-    implicit def f1(x: Int): String = "Int"
-    implicit def f2(x: Long): String = "Long"
-
-    println(5: String)
-  }
-  object ob3 {
-    implicit def f1(x: Int): String = "Int"
-    implicit val f2: Long => String = _ => "Long"
-
-    println(5: String)
-  }
-}
-
-// int val vs.
-object Moop3 {
-  object ob1 {
-    implicit val f1: Int => String  = _ => "Int"
-    implicit object f2 extends (Long => String) { def apply(x: Long): String = "Long" }
-
-    println(5: String)
-  }
-  object ob2 {
-    implicit val f1: Int => String  = _ => "Int"
-    implicit def f2(x: Long): String = "Long"
-
-    println(5: String)
-  }
-  object ob3 {
-    implicit val f1: Int => String  = _ => "Int"
-    implicit val f2: Long => String = _ => "Long"
-
-    println(5: String)
-  }
-}
-
diff --git a/tests/pending/run/t8570.flags b/tests/pending/run/t8570.flags
deleted file mode 100644
index 3d1ee4760..000000000
--- a/tests/pending/run/t8570.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xcheckinit
diff --git a/tests/pending/run/t8570.scala b/tests/pending/run/t8570.scala
deleted file mode 100644
index f1f752602..000000000
--- a/tests/pending/run/t8570.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-trait Trait40_1 {
-  val value37_2 = ()
-  def run = { value37_2 }
-}
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    (new Trait40_1 {}).run
-  }
-}
diff --git a/tests/pending/run/t8570a.check b/tests/pending/run/t8570a.check
deleted file mode 100644
index 6a452c185..000000000
--- a/tests/pending/run/t8570a.check
+++ /dev/null
@@ -1 +0,0 @@
-()
diff --git a/tests/pending/run/t8570a.flags b/tests/pending/run/t8570a.flags
deleted file mode 100644
index 3d1ee4760..000000000
--- a/tests/pending/run/t8570a.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xcheckinit
diff --git a/tests/pending/run/t8570a.scala b/tests/pending/run/t8570a.scala
deleted file mode 100644
index b36c34037..000000000
--- a/tests/pending/run/t8570a.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-trait Trait40_1 {
-  val value37_2 = ()
-  def run = { value37_2 }
-}
-
-trait T1 extends Trait40_1 {
-  override val value37_2 = ()
-}
-
-object Test {
-  def main(args: Array[String]): Unit = {
-    println((new T1 {}).run)
-  }
-}
diff --git a/tests/pending/run/t8823.scala b/tests/pending/run/t8823.scala
deleted file mode 100644
index 06e3bff69..000000000
--- a/tests/pending/run/t8823.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-class Tuple2Int(val encoding: Long) extends AnyVal with Product2[Int, Int] {
-  def canEqual(that: Any) = false
-  def _1: Int = 1
-  def _2: Int = 2
-}
-
-object Test extends dotty.runtime.LegacyApp {
-  assert(new Tuple2Int(0)._1 == 1)
-  assert(new Tuple2Int(0)._2 == 2)
-}
diff --git a/tests/pending/run/t949.scala b/tests/pending/run/t949.scala
deleted file mode 100644
index 9363f60c6..000000000
--- a/tests/pending/run/t949.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-object Test extends dotty.runtime.LegacyApp {
-
-    private def f = new T { val state = State.A }
-
-    private object State extends Enumeration {
-        val A, B = Value
-    }
-
-    f
-}
-
-trait T {
-}
-
diff --git a/tests/pending/run/t978.scala b/tests/pending/run/t978.scala
deleted file mode 100644
index e87e7054a..000000000
--- a/tests/pending/run/t978.scala
+++ /dev/null
@@ -1,38 +0,0 @@
-class Foo(val n: Int) {
-  override def hashCode = n % 2 // pretty bad hash
-  override def equals(other: Any): Boolean = other match {
-    case f: Foo => f.n == n
-    case _ => false
-  }
-
-  override def toString = "" + n
-}
-
-object Test extends dotty.runtime.LegacyApp {
-  val set = new collection.mutable.HashSet[Foo]
-//  val set = new collection.jcl.HashSet[Foo]
-
-  val max = 200
-  for (x <- 1 to max)
-    set += new Foo(x)
-
-  testRemove(2)
-  testExists(2)
-
-  def testRemove(m: Int): Unit = {
-    for (x <- 1 to max; if x % m == 0) {
-      val f = new Foo(x)
-      set -= f
-      assert(!(set contains f))
-      testExists(m)
-    }
-  }
-
-  def testExists(m: Int): Unit = {
-    for (x <- 1 to max; if x % m == 1) {
-      val f = new Foo(x)
-      assert(set contains f, "For element: " + f + " set: " + set)
-    }
-  }
-
-}
diff --git a/tests/pending/run/weakconform.scala b/tests/pending/run/weakconform.scala
deleted file mode 100755
index e13390730..000000000
--- a/tests/pending/run/weakconform.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-object Test extends dotty.runtime.LegacyApp {
-  val x: Float = 10/3
-  assert(x == 3.0)
-}