Pos tests t17xx - t19xx

43 files changed, 0 insertions, 474 deletions

diff --git a/tests/untried/pos/t1711/Seq.scala b/tests/untried/pos/t1711/Seq.scala
deleted file mode 100644
index c18f05cd7..000000000
--- a/tests/untried/pos/t1711/Seq.scala
+++ /dev/null
@@ -1,12 +0,0 @@
-package com
-
-object Sequence {
-
-  def filteringFunction[V](filter: V => Boolean): List[V] => List[V] = {
-    def include(v: V) =
-      filter(v)
-    (l: List[V]) => l.filter(include)
-  }
-
-}
-
diff --git a/tests/untried/pos/t1711/Test.java b/tests/untried/pos/t1711/Test.java
deleted file mode 100644
index 5ec0f2297..000000000
--- a/tests/untried/pos/t1711/Test.java
+++ /dev/null
@@ -1,6 +0,0 @@
-import com.Sequence;
-
-public class Test {
-  void foo() {
-  }
-}
diff --git a/tests/untried/pos/t1722-A.scala b/tests/untried/pos/t1722-A.scala
deleted file mode 100644
index d059bf22f..000000000
--- a/tests/untried/pos/t1722-A.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-sealed trait Top
-trait C {
-  private object P extends Top
-}
-/*
-$ scala -e 'new AnyRef with C'
-error: error while loading Top, class file '/private/tmp/bobobo/./Top.class' is broken
-(error reading Scala signature of /private/tmp/bobobo/./Top.class: malformed Scala signature of Top at 185; reference value P of trait C refers to nonexisting symbol.)
-one error found
-*/
diff --git a/tests/untried/pos/t1722/Test.scala b/tests/untried/pos/t1722/Test.scala
deleted file mode 100755
index f236d3fdc..000000000
--- a/tests/untried/pos/t1722/Test.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-package t1722
-
-object Test {
-  val x = new AnyRef with C
-}
diff --git a/tests/untried/pos/t1722/Top.scala b/tests/untried/pos/t1722/Top.scala
deleted file mode 100755
index 4ac52412a..000000000
--- a/tests/untried/pos/t1722/Top.scala
+++ /dev/null
@@ -1,13 +0,0 @@
-package t1722
-
-sealed trait Top
-trait C {
-  private object P extends Top
-}
-/*
-$ scala -e 'new AnyRef with C'
-error: error while loading Top, class file '/private/tmp/bobobo/./Top.class' is broken
-(error reading Scala signature of /private/tmp/bobobo/./Top.class: malformed Scala signature of Top at 185; reference value P of trait C refers to nonexisting symbol.)
-one error found
-Martin: I think this has to do with children property.
-*/
diff --git a/tests/untried/pos/t1745/J.java b/tests/untried/pos/t1745/J.java
deleted file mode 100644
index 8444eabb2..000000000
--- a/tests/untried/pos/t1745/J.java
+++ /dev/null
@@ -1,10 +0,0 @@
-class J {
-  S1 s1;
-  S2 s2;
-
-  String s = bar(S3.foo(), S3.bar("def"));
-
-  private String bar(String s1, String s2) {
-    return s1 + s2;
-  }
-}
diff --git a/tests/untried/pos/t1745/S.scala b/tests/untried/pos/t1745/S.scala
deleted file mode 100644
index 84c437133..000000000
--- a/tests/untried/pos/t1745/S.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-case class S1(n: Int) { }
-case class S2(n: Int, p: Int) { }
-class S3 { }
-object S3 {
-  def foo() = "abc"
-  def bar[T](x: T): T = x
-}
diff --git a/tests/untried/pos/t175.scala b/tests/untried/pos/t175.scala
deleted file mode 100644
index 4c0eb28ba..000000000
--- a/tests/untried/pos/t175.scala
+++ /dev/null
@@ -1,3 +0,0 @@
-abstract class C {
-  def this(x: Unit) = { this() }
-}
diff --git a/tests/untried/pos/t1751/A1_2.scala b/tests/untried/pos/t1751/A1_2.scala
deleted file mode 100644
index 354d5eecd..000000000
--- a/tests/untried/pos/t1751/A1_2.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-@SuiteClasses(Array(classOf[A2]))
-class A1
diff --git a/tests/untried/pos/t1751/A2_1.scala b/tests/untried/pos/t1751/A2_1.scala
deleted file mode 100644
index c768062e4..000000000
--- a/tests/untried/pos/t1751/A2_1.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-@SuiteClasses(Array())
-class A2
diff --git a/tests/untried/pos/t1751/SuiteClasses.java b/tests/untried/pos/t1751/SuiteClasses.java
deleted file mode 100644
index a415e4f57..000000000
--- a/tests/untried/pos/t1751/SuiteClasses.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface SuiteClasses {
-    public Class<?>[] value();
-}
diff --git a/tests/untried/pos/t1756.scala b/tests/untried/pos/t1756.scala
deleted file mode 100755
index 1d067c3b0..000000000
--- a/tests/untried/pos/t1756.scala
+++ /dev/null
@@ -1,54 +0,0 @@
-
-/**
-This is a tricky issue which has to do with the fact that too much conflicting
-type information is propagated into a single implicit search, where the intended
-solution applies two implicit searches.
-
-Roughly, in x + x * y, the first x is first typed as Poly[A]. That
-means the x * y is then typed as Poly[A]. Then the second x is typed
-as Poly[A], then y is typed as Poly[Poly[A]]. The application x * y
-fails, so the coef2poly implicit conversion is applied to x. That
-means we look for an implicit conversion from type Poly[A] to type
-?{val *(x$1: ?>: Poly[Poly[A]] <: Any): Poly[A]}. Note that the result
-type Poly[A] is propagated into the implicit search. Poly[A] comes as
-expected type from x+, because the lhs x is still typed as a Poly[A].
-This means that the argument of the implicit conversion is typechecked
-with expected type A with Poly[A]. And no solution is found.
-
-To solve this, I added a fallback scheme similar to implicit arguments:
-When an implicit view that adds a method matching given arguments and result
-type fails, try again without the result type.
-*/
-trait Ring[T <: Ring[T]] {
-  def +(that: T): T
-  def *(that: T): T
-}
-
-class A extends Ring[A] {
-  def +(that: A) = new A
-  def *(that: A) = new A
-}
-
-class Poly[C <: Ring[C]](val c: C) extends Ring[Poly[C]] {
-  def +(that: Poly[C]) = new Poly(this.c+that.c)
-  def *(that: Poly[C]) = new Poly(this.c*that.c)
-}
-
-object Test extends App {
-
-  implicit def coef2poly[C <: Ring[C]](c: C): Poly[C] = new Poly(c)
-
-  val a = new A
-  val x = new Poly(new A)
-
-  println(x+a) // works
-  println(a+x) // works
-
-  val y = new Poly(new Poly(new A))
-
-  println(x+y*x) // works
-  println(x*y+x) // works
-  println(y*x+x) // works
-
-  println(x+x*y) // failed before
-}
diff --git a/tests/untried/pos/t177.scala b/tests/untried/pos/t177.scala
deleted file mode 100644
index 33b4de926..000000000
--- a/tests/untried/pos/t177.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-class A {
-  def foo = {
-    object Y {
-      def bar = 1;
-    }
-    Y.bar
-  }
-}
diff --git a/tests/untried/pos/t1782/Ann.java b/tests/untried/pos/t1782/Ann.java
deleted file mode 100644
index 0dcfbd2ed..000000000
--- a/tests/untried/pos/t1782/Ann.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface Ann {
-    public Days value();
-}
diff --git a/tests/untried/pos/t1782/Days.java b/tests/untried/pos/t1782/Days.java
deleted file mode 100644
index 203a87b1c..000000000
--- a/tests/untried/pos/t1782/Days.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public enum Days {
-    Friday, Sunday
-}
diff --git a/tests/untried/pos/t1782/ImplementedBy.java b/tests/untried/pos/t1782/ImplementedBy.java
deleted file mode 100644
index 6aa8b4fa9..000000000
--- a/tests/untried/pos/t1782/ImplementedBy.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface ImplementedBy {
-    public Class<?> value();
-}
diff --git a/tests/untried/pos/t1782/Test_1.scala b/tests/untried/pos/t1782/Test_1.scala
deleted file mode 100644
index 6467a74c2..000000000
--- a/tests/untried/pos/t1782/Test_1.scala
+++ /dev/null
@@ -1,16 +0,0 @@
-@ImplementedBy(classOf[Provider])
-trait Service {
-  def someMethod()
-}
-
-class Provider
-    extends Service
-{
-  // test enumeration java annotations
-  @Ann(Days.Friday) def someMethod() = ()
-
-  // #2103
-  @scala.beans.BeanProperty
-  @Ann(value = Days.Sunday)
-  val t2103 = "test"
-}
diff --git a/tests/untried/pos/t1785.scala b/tests/untried/pos/t1785.scala
deleted file mode 100644
index 0b1fafb27..000000000
--- a/tests/untried/pos/t1785.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-class t1785 {
-  def apply[T](x: Int) = 1
-}
-
-object test {
-  (new t1785)[Int](1)
-}
diff --git a/tests/untried/pos/t1786-counter.scala b/tests/untried/pos/t1786-counter.scala
deleted file mode 100644
index a2431343d..000000000
--- a/tests/untried/pos/t1786-counter.scala
+++ /dev/null
@@ -1,38 +0,0 @@
-trait ShapeLevel
-
-object Fail {
-  abstract class ProductNodeShape[Level <: ShapeLevel, C, M <: C, U <: C, P <: C] extends Shape[Level, M, U, P] {
-    def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _]
-  }
-
-  abstract class Shape[Level <: ShapeLevel, -Mixed_, Unpacked_, Packed_]
-
-  final class TupleShape[Level <: ShapeLevel, M <: Product, U <: Product, P <: Product](val shapes: Shape[_, _, _, _]*) extends ProductNodeShape[Level, Product, M, U, P] {
-    def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _] = ???
-  }
-
-  trait ShapeLevel
-}
-
-object Ok {
-  abstract class Shape[Level <: ShapeLevel, -Mixed_, Unpacked_, Packed_]
-
-  abstract class ProductNodeShape[Level <: ShapeLevel, C, M <: C, U <: C, P <: C] extends Shape[Level, M, U, P] {
-    def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _]
-  }
-
-  final class TupleShape[Level <: ShapeLevel, M <: Product, U <: Product, P <: Product](val shapes: Shape[_, _, _, _]*) extends ProductNodeShape[Level, Product, M, U, P] {
-    def copy(shapes: Seq[Shape[_, _, _, _]]): Shape[Level, _, _, _] = ???
-  }
-}
-
-// This is why we reverted the fix for SI-1786 -- see SI-6169 for a potential alternative that could be extended to cover this.
-// both objects type check on 2.10.3, but only Ok was accepted by 2.11 after the original fix to SI-1786.
-// Fail results in:
-/*
-t1786-counter.scala:10: error: class TupleShape needs to be abstract, since method copy in class ProductNodeShape of type (shapes: Seq[Fail.Shape[_, _, _, _]])Fail.Shape[Level, _, _, _] is not defined
-(Note that Seq[Fail.Shape[_, _, _, _]] does not match Seq[Fail.Shape[_ <: Fail.ShapeLevel, _, _, _]]: their type parameters differ)
-  final class TupleShape[Level <: ShapeLevel, M <: Product, U <: Product, P <: Product](val shapes: Shape[_, _, _, _]*) extends ProductNodeShape[Level, Product, M, U, P] {
-              ^
-one error found
-*/
diff --git a/tests/untried/pos/t1786-cycle.scala b/tests/untried/pos/t1786-cycle.scala
deleted file mode 100644
index 9de149fbc..000000000
--- a/tests/untried/pos/t1786-cycle.scala
+++ /dev/null
@@ -1,57 +0,0 @@
-trait GenTraversableLike[+A, +Repr] extends Any
-
-object O {
-  (null: Any) match {
-    case _: LongTraversableLike[_] =>
-  }
-}
-
-trait LongTraversable extends LongTraversableLike[LongTraversable]
-
-trait LongTraversableLike[+Repr <: LongTraversableLike[Repr]] extends GenTraversableLike[Any, Repr]
-
-/*
-% scalac-hash v2.11.0-M8 test/files/pos/t1786-cycle.scala
-[warn] v2.11.0-M8 failed, using closest available
-test/files/pos/t1786-cycle.scala:11: error: illegal cyclic reference involving trait LongTraversableLike
-trait LongTraversableLike[+Repr <: LongTraversableLike[Repr]] extends GenTraversableLike[Any, Repr]
-                                                                      ^
-one error found
-
-Okay again after SI-1786 was reverted.
-
-
-|-- object O BYVALmode-EXPRmode (site: package <empty>)
-|    |-- super EXPRmode-POLYmode-QUALmode (silent: <init> in O)
-|    |    |-- this EXPRmode (silent: <init> in O)
-|    |    |    \-> O.type
-|    |    \-> O.type
-|    |-- (null: Any) match { case (_: LongTraversableLike[(_ @ <em... BYVALmode-EXPRmode (site: value <local O> in O)
-|    |    |-- (null: Any) BYVALmode-EXPRmode (site: value <local O> in O)
-|    |    |    |-- Any TYPEmode (site: value <local O> in O)
-|    |    |    |    \-> Any
-|    |    |    |-- null : pt=Any EXPRmode (site: value <local O> in O)
-|    |    |    |    \-> Null(null)
-|    |    |    \-> Any
-|    |    |-- (_: LongTraversableLike[(_ @ <empty>)]) : pt=Any PATTERNmode (site: value <local O> in O) enrichment only
-|    |    |    |-- LongTraversableLike[(_ @ <empty>)] TYPEPATmode-TYPEmode (site: value <local O> in O) enrichment only
-|    |    |    |    |--  <: LongTraversableLike[Repr] TYPEmode (site: type Repr in <empty>)
-|    |    |    |    |    |-- LongTraversableLike[Repr] TYPEmode (site: type Repr in <empty>)
-|    |    |    |    |    |    |-- Repr NOmode (site: type Repr in <empty>)
-|    |    |    |    |    |    |    \-> Repr
-|    |    |    |    |    |    \-> LongTraversableLike[Repr]
-|    |    |    |    |    [adapt]  <: LongTraversableLike[Repr] is now a TypeTree( <: LongTraversableLike[Repr])
-|    |    |    |    |    \->  <: LongTraversableLike[Repr]
-|    |    |    |    |-- (_ @ <empty>) TYPEPATmode-TYPEmode (site: value <local O> in O) enrichment only
-|    |    |    |    |    \-> _
-|    |    |    |    |-- GenTraversableLike FUNmode-TYPEmode (site: trait LongTraversableLike)
-|    |    |    |    |    \-> GenTraversableLike
-|    |    |    |    |-- GenTraversableLike[Any, Repr] TYPEmode (site: trait LongTraversableLike)
-|    |    |    |    |    |-- Any TYPEmode (site: trait LongTraversableLike)
-|    |    |    |    |    |    \-> Any
-|    |    |    |    |    |-- Repr TYPEmode (site: trait LongTraversableLike)
-|    |    |    |    |    |    \-> Repr
-|    |    |    |    |    caught scala.reflect.internal.Symbols$CyclicReference: illegal cyclic reference involving trait LongTraversableLike: while typing GenTraversableLike[Any, Repr]
-test/files/pos/t1786-cycle.scala:11: error: illegal cyclic reference involving trait LongTraversableLike
-trait LongTraversableLike[+Repr <: LongTraversableLike[Repr]] extends GenT
-*/
diff --git a/tests/untried/pos/t1789.scala b/tests/untried/pos/t1789.scala
deleted file mode 100644
index 1a37d48d0..000000000
--- a/tests/untried/pos/t1789.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-object S {
-  try { }
-  catch { case _ => }
-  finally { while(true) { } }
-}
diff --git a/tests/untried/pos/t1798.scala b/tests/untried/pos/t1798.scala
deleted file mode 100644
index 1624e3025..000000000
--- a/tests/untried/pos/t1798.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-object Foo { private def bar(): Int = 55 }
-class Foo(x: Int) { def this() = this(Foo.bar()) }
-
-/*
- * scalac28 a.scala
-a.scala:2: error: method bar cannot be accessed in object Foo
-class Foo(x: Int) { def this() = this(Foo.bar()) }
-                                          ^
-one error found
-*/
diff --git a/tests/untried/pos/t1803.flags b/tests/untried/pos/t1803.flags
deleted file mode 100644
index d1a824416..000000000
--- a/tests/untried/pos/t1803.flags
+++ /dev/null
@@ -1 +0,0 @@
--Yinfer-argument-types
\ No newline at end of file
diff --git a/tests/untried/pos/t1803.scala b/tests/untried/pos/t1803.scala
deleted file mode 100644
index 42f4e784a..000000000
--- a/tests/untried/pos/t1803.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-class A { def foo[A](a: A) = a }
-class B extends A { override def foo[A](b) = b }
diff --git a/tests/untried/pos/t183.scala b/tests/untried/pos/t183.scala
deleted file mode 100644
index d7ed27f73..000000000
--- a/tests/untried/pos/t183.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-object Test {
-  new Foo(0);
-  class Foo(x: Int);
-}
diff --git a/tests/untried/pos/t1832.scala b/tests/untried/pos/t1832.scala
deleted file mode 100644
index 3a5280640..000000000
--- a/tests/untried/pos/t1832.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-trait Cloning {
-  trait Foo
-  def fn(g: Any => Unit): Foo
-
-  implicit def mkStar(i: Int): AnyRef{def *(a: Cloning.this.Foo): Cloning.this.Foo} = new { def *(a: Foo): Foo = null }
-
-  val pool = 4 * fn { case ghostSYMBOL: Int => ghostSYMBOL * 2 }
-}
diff --git a/tests/untried/pos/t1836/J.java b/tests/untried/pos/t1836/J.java
deleted file mode 100644
index a009a59e2..000000000
--- a/tests/untried/pos/t1836/J.java
+++ /dev/null
@@ -1 +0,0 @@
-public abstract class J<T> { protected J(T id) { } }
diff --git a/tests/untried/pos/t1836/S.scala b/tests/untried/pos/t1836/S.scala
deleted file mode 100644
index 88ce1063e..000000000
--- a/tests/untried/pos/t1836/S.scala
+++ /dev/null
@@ -1 +0,0 @@
-class S extends J("")
diff --git a/tests/untried/pos/t1840/J.java b/tests/untried/pos/t1840/J.java
deleted file mode 100644
index fd98b6c4a..000000000
--- a/tests/untried/pos/t1840/J.java
+++ /dev/null
@@ -1,4 +0,0 @@
-package p;
-class J {
-  J() {}
-}
diff --git a/tests/untried/pos/t1840/S.scala b/tests/untried/pos/t1840/S.scala
deleted file mode 100644
index ff513d2c1..000000000
--- a/tests/untried/pos/t1840/S.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-package p
-class S { new J }
diff --git a/tests/untried/pos/t1843.scala b/tests/untried/pos/t1843.scala
deleted file mode 100644
index 8504bf342..000000000
--- a/tests/untried/pos/t1843.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-/**
-* Scala Compiler Will Crash On this File
-* ... Or Will It?
-*
-*/
-
-object Crash {
-  trait UpdateType[A]
-  case class StateUpdate[A](updateType : UpdateType[A], value : A)
-  case object IntegerUpdateType extends UpdateType[Integer]
-
-  //However this method will cause a crash
-  def crash(updates: List[StateUpdate[_]]): Unit = {
-    updates match {
-      case Nil =>
-      case u::us =>
-        u match {
-          //Line below seems to be the crashing line
-          case StateUpdate(key, newValue) if (key == IntegerUpdateType) =>
-            println("Requires a statement to induce the crash")
-          case _ =>
-        }
-    }
-  }
-}
diff --git a/tests/untried/pos/t1858.scala b/tests/untried/pos/t1858.scala
deleted file mode 100644
index c06e73e7e..000000000
--- a/tests/untried/pos/t1858.scala
+++ /dev/null
@@ -1,13 +0,0 @@
-import scala.collection.immutable.Stack
-
-object Test {
-
-  def test = {
-    val s = new Stack[Int]
-    s.push(1)
-    s.push(1, 2)
-    s.push(1, 2, 3)
-    s.push(1, 2, 3, 4)
-  }
-
-}
diff --git a/tests/untried/pos/t1896/D0.scala b/tests/untried/pos/t1896/D0.scala
deleted file mode 100644
index 6b3150d96..000000000
--- a/tests/untried/pos/t1896/D0.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-package p
-
-class X[T]
-
-trait A {
-  def m(s:X[_]): Unit = {}
-}
-
-trait B extends A {
-  def f: Unit = { super.m(null) }
-}
diff --git a/tests/untried/pos/t1896/D1.scala b/tests/untried/pos/t1896/D1.scala
deleted file mode 100644
index e1ab50679..000000000
--- a/tests/untried/pos/t1896/D1.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-package p
-class C extends B
diff --git a/tests/untried/pos/t1937/NumberGenerator.java b/tests/untried/pos/t1937/NumberGenerator.java
deleted file mode 100644
index 59d604733..000000000
--- a/tests/untried/pos/t1937/NumberGenerator.java
+++ /dev/null
@@ -1,7 +0,0 @@
-package br.com.caelum.caelumweb2.money;
-
-public class NumberGenerator {
-	public String generate() {
-		return null;
-	}
-}
diff --git a/tests/untried/pos/t1942/A_1.scala b/tests/untried/pos/t1942/A_1.scala
deleted file mode 100644
index 4915b54a6..000000000
--- a/tests/untried/pos/t1942/A_1.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-class A {
-  def foo(x: Int) = 0
-  def foo(x: String) = 1
-}
-
-class ann(x: Int) extends annotation.StaticAnnotation
-
-class t {
-  val a = new A
-  @ann(a.foo(1)) def bar = 1
-}
diff --git a/tests/untried/pos/t1942/Test_2.scala b/tests/untried/pos/t1942/Test_2.scala
deleted file mode 100644
index 6c045bbce..000000000
--- a/tests/untried/pos/t1942/Test_2.scala
+++ /dev/null
@@ -1,3 +0,0 @@
-class Test {
-  println(new t)
-}
diff --git a/tests/untried/pos/t1957.scala b/tests/untried/pos/t1957.scala
deleted file mode 100644
index 711ce17de..000000000
--- a/tests/untried/pos/t1957.scala
+++ /dev/null
@@ -1,38 +0,0 @@
-object Test {
-    abstract class Settings {}
-
-    abstract class Grist
-    { self =>
-        type settingsType <: Settings
-        type moduleType <: Module {type settingsType = self.settingsType}
-        val module: moduleType
-    }
-
-    abstract class Tool
-    { self =>
-        type settingsType <: Settings
-        type moduleType = Module { type settingsType = self.settingsType }
-        type gristType = Grist { type moduleType <: self.moduleType; type settingsType <: self.settingsType }
-
-        def inputGrist: List[gristType]
-    }
-
-    abstract class Module
-    { self =>
-        type settingsType <: Settings
-        final type commonModuleType = Module {type settingsType = self.settingsType}
-        type selfType >: self.type <: commonModuleType
-
-        // BTW: if we use the commented out type decls, the code compiles successfully
-        // type gristType = Grist {type settingsType <: self.settingsType; type moduleType <: commonModuleType }
-
-        val tools: List[Tool {type settingsType = self.settingsType}]
-
-        protected def f: List[commonModuleType] =
-        {
-            val inputGrists = tools.flatMap(_.inputGrist) // val inputGrists: List[gristType] =
-            inputGrists.map(_.module)
-        }
-
-    }
-}
diff --git a/tests/untried/pos/t1974.scala b/tests/untried/pos/t1974.scala
deleted file mode 100644
index 3f4d41e7f..000000000
--- a/tests/untried/pos/t1974.scala
+++ /dev/null
@@ -1,20 +0,0 @@
-object Broken {
-  private var map = Map[Class[_], String]()
-
-  def addToMap(c : Class[_], s : String) = map += (c -> s)
-  def fetch(c : Class[_]) = map(c)
-}
-
-object Works {
-  private var map = Map[Class[_], String]()
-
-  def addToMap(c : Class[_], s : String) = map += ((c, s))
-  def fetch(c : Class[_]) = map(c)
-}
-
-object Works2 {
-  private var map = Map[Class[_], String]()
-
-  def addToMap(c : Class[_], s : String) = map += ((c : Class[_]) -> s)
-  def fetch(c : Class[_]) = map(c)
-}
diff --git a/tests/untried/pos/t1987a.scala b/tests/untried/pos/t1987a.scala
deleted file mode 100644
index ccab13371..000000000
--- a/tests/untried/pos/t1987a.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-package object overloading {
-    def bar(f: (Int) => Unit): Unit = ()
-    def bar(f: (Int, Int) => Unit): Unit = ()
-}
-
-class PackageObjectOverloadingTest {
-    overloading.bar( (i: Int) => () ) // doesn't compile.
-}
diff --git a/tests/untried/pos/t1987b/a.scala b/tests/untried/pos/t1987b/a.scala
deleted file mode 100644
index ff27044b6..000000000
--- a/tests/untried/pos/t1987b/a.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-package bug
-
-// goes with t1987b.scala
-package object packageb {
-  def func(a: Int) = ()
-  def func(a: String) = ()
-}
diff --git a/tests/untried/pos/t1987b/b.scala b/tests/untried/pos/t1987b/b.scala
deleted file mode 100644
index a469ca6ea..000000000
--- a/tests/untried/pos/t1987b/b.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-// compile with t1987a.scala
-
-package bug.packageb
-// Note that the overloading works if instead of being in the package we import it:
-// replace the above line with import bug.packageb._
-
-class Client {
-  val x = func(1) // doesn't compile: type mismatch; found: Int(1) required: String
-  val y = func("1") // compiles
-}
diff --git a/tests/untried/pos/t1996.scala b/tests/untried/pos/t1996.scala
deleted file mode 100644
index 273012819..000000000
--- a/tests/untried/pos/t1996.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-object forbug {
-  val l1 = List(List(ValDef(new A)), List(ValDef(new A)))
-  for ((e1s, e2s) <- l1.zip(l1);
-       (e1, e2) <- e1s.zip(e2s)) {
-    e1.a.doSome(20)
-//    ()
-  }
-}
-
-
-class A {
-  def doSome(a: Int): this.type = {
-    println(a)
-    this
-  }
-}
-
-case class ValDef(a: A)
-