59 files changed, 32 insertions, 283 deletions
diff --git a/tests/untried/pos/t1409/AbstractImpl.java b/tests/disabled/java-interop/pos/t1409/AbstractImpl.java
index b22a94fa1..b22a94fa1 100644
--- a/tests/untried/pos/t1409/AbstractImpl.java
+++ b/tests/disabled/java-interop/pos/t1409/AbstractImpl.java
diff --git a/tests/untried/pos/t1409/ConcreteImpl.scala b/tests/disabled/java-interop/pos/t1409/ConcreteImpl.scala
index d427e957e..d427e957e 100644
--- a/tests/untried/pos/t1409/ConcreteImpl.scala
+++ b/tests/disabled/java-interop/pos/t1409/ConcreteImpl.scala
diff --git a/tests/untried/pos/t1409/OuterInterface.java b/tests/disabled/java-interop/pos/t1409/OuterInterface.java
index dd288ceea..dd288ceea 100644
--- a/tests/untried/pos/t1409/OuterInterface.java
+++ b/tests/disabled/java-interop/pos/t1409/OuterInterface.java
diff --git a/tests/untried/pos/t1459/AbstractBase.java b/tests/disabled/java-interop/pos/t1459/AbstractBase.java
index 492419416..492419416 100755
--- a/tests/untried/pos/t1459/AbstractBase.java
+++ b/tests/disabled/java-interop/pos/t1459/AbstractBase.java
diff --git a/tests/untried/pos/t1459/App.scala b/tests/disabled/java-interop/pos/t1459/App.scala
index 36e5022e9..36e5022e9 100755
--- a/tests/untried/pos/t1459/App.scala
+++ b/tests/disabled/java-interop/pos/t1459/App.scala
diff --git a/tests/untried/pos/t1459/Caller.java b/tests/disabled/java-interop/pos/t1459/Caller.java
index 4ae51d8c5..4ae51d8c5 100755
--- a/tests/untried/pos/t1459/Caller.java
+++ b/tests/disabled/java-interop/pos/t1459/Caller.java
diff --git a/tests/untried/pos/t1642/JavaCallingScalaHashMap.java b/tests/disabled/java-interop/pos/t1642/JavaCallingScalaHashMap.java
index 976e465ff..976e465ff 100644
--- a/tests/untried/pos/t1642/JavaCallingScalaHashMap.java
+++ b/tests/disabled/java-interop/pos/t1642/JavaCallingScalaHashMap.java
diff --git a/tests/untried/pos/t1357.scala b/tests/disabled/not-representable/pos/t1357.scala
index 05f8d20ed..4095168d2 100644
--- a/tests/untried/pos/t1357.scala
+++ b/tests/disabled/not-representable/pos/t1357.scala
@@ -1,3 +1,7 @@
+// Existential quantification cannot be expressed, and cannot be eliminated
+// because it's F-bounded. Trying to paramerize BinaryTree with T instead also fails
+// because the type alias cannot be represented
+
 object NonEmptyCons {
   def unapply[H, T](c: (H, T)): Option[(H, T)] = Some(c)
 }
diff --git a/tests/untried/pos/t1381-new.scala b/tests/disabled/not-representable/pos/t1381-new.scala
index b0b300c6f..2944b1deb 100644
--- a/tests/untried/pos/t1381-new.scala
+++ b/tests/disabled/not-representable/pos/t1381-new.scala
@@ -1,3 +1,9 @@
+/* Gives
+
+   t1381-new.scala:6: error: V is not a valid prefix for '#'
+   type E = V#ValueType
+            ^
+ */
 import scala.reflect.runtime.universe._
 
 class D[V <: Variable]
diff --git a/tests/untried/pos/t160.scala b/tests/new/t160.scala
index 91ac2ba84..91ac2ba84 100644
--- a/tests/untried/pos/t160.scala
+++ b/tests/new/t160.scala
diff --git a/tests/untried/pos/t1642b.scala b/tests/new/t1642b.scala
index 72e53b0c9..72e53b0c9 100644
--- a/tests/untried/pos/t1642b.scala
+++ b/tests/new/t1642b.scala
diff --git a/tests/untried/pos/t1659.scala b/tests/new/t1659.scala
index 10470d66f..10470d66f 100644
--- a/tests/untried/pos/t1659.scala
+++ b/tests/new/t1659.scala
diff --git a/tests/untried/pos/t1675.scala b/tests/new/t1675.scala
index 8630890ee..8630890ee 100644
--- a/tests/untried/pos/t1675.scala
+++ b/tests/new/t1675.scala
diff --git a/tests/untried/pos/t1693.scala b/tests/pending/pos/t1693.scala
index 881bf89a0..881bf89a0 100644
--- a/tests/untried/pos/t1693.scala
+++ b/tests/pending/pos/t1693.scala
diff --git a/tests/pending/pos/t1164.scala b/tests/pos/t1164.scala
index ab58c1d6b..ab58c1d6b 100644
--- a/tests/pending/pos/t1164.scala
+++ b/tests/pos/t1164.scala
diff --git a/tests/untried/pos/t1318.scala b/tests/pos/t1318.scala
index 34e2bc8dd..34e2bc8dd 100644
--- a/tests/untried/pos/t1318.scala
+++ b/tests/pos/t1318.scala
diff --git a/tests/untried/pos/t1385.scala b/tests/pos/t1385.scala
index aefd9c35b..aefd9c35b 100644
--- a/tests/untried/pos/t1385.scala
+++ b/tests/pos/t1385.scala
diff --git a/tests/untried/pos/t1391.scala b/tests/pos/t1391.scala
index 5178ba987..5178ba987 100644
--- a/tests/untried/pos/t1391.scala
+++ b/tests/pos/t1391.scala
diff --git a/tests/untried/pos/t1422_pos.scala b/tests/pos/t1422_pos.scala
index 658f5c730..658f5c730 100644
--- a/tests/untried/pos/t1422_pos.scala
+++ b/tests/pos/t1422_pos.scala
diff --git a/tests/untried/pos/t1438.scala b/tests/pos/t1438.scala
index 221c3439d..221c3439d 100644
--- a/tests/untried/pos/t1438.scala
+++ b/tests/pos/t1438.scala
diff --git a/tests/untried/pos/t1439.scala b/tests/pos/t1439.scala
index 0efcc74b6..0efcc74b6 100644
--- a/tests/untried/pos/t1439.scala
+++ b/tests/pos/t1439.scala
diff --git a/tests/untried/pos/t1480.scala b/tests/pos/t1480.scala
index 1d9f94d2e..1d9f94d2e 100644
--- a/tests/untried/pos/t1480.scala
+++ b/tests/pos/t1480.scala
diff --git a/tests/untried/pos/t151.scala b/tests/pos/t151.scala
index 86667b49f..86667b49f 100644
--- a/tests/untried/pos/t151.scala
+++ b/tests/pos/t151.scala
diff --git a/tests/untried/pos/t1560.scala b/tests/pos/t1560.scala
index 2af299af8..dd76392e6 100644
--- a/tests/untried/pos/t1560.scala
+++ b/tests/pos/t1560.scala
@@ -4,7 +4,7 @@ object Test extends App {
     def t: T
   }
 
-  def b: Option[C[x] forSome { type x }] = null
+  def b: Option[C[_]] = null
 
   def c = b match {
     case Some(b) => b.t
diff --git a/tests/pos/t1565.scala b/tests/pos/t1565.scala
new file mode 100644
index 000000000..59d27a086
--- /dev/null
+++ b/tests/pos/t1565.scala
@@ -0,0 +1,19 @@
+object Bug1565 {
+
+//  object X0 { 0;  (a : Int, b : Int, c : Int) => println(List(a, b))   }  // can't parse in Dotty
+//  def x() = { 0; (a : Int, b : Int) => println(List(a, b)) ; 0  }     // can't parse in Dotty
+
+//  (a : Int, b : Int) => println(List(a, b))  not legal as a template statement
+
+  // various function syntaxes to exercise the parser
+  val xs = List(1,2,3)
+  xs.filter(x => x < 2)
+  xs.filter((x) => x < 2)
+  xs.filter { x => x < 2 }
+  xs.filter { _ < 2 }
+  xs.filter (_ < 2)
+  xs.foreach { e =>
+    val buf0 = e + 1
+    buf0
+  }
+}
diff --git a/tests/untried/pos/t1569.scala b/tests/pos/t1569.scala
index a7200a6d1..a7200a6d1 100644
--- a/tests/untried/pos/t1569.scala
+++ b/tests/pos/t1569.scala
diff --git a/tests/untried/pos/t159.scala b/tests/pos/t159.scala
index 4d67f8aff..4d67f8aff 100644
--- a/tests/untried/pos/t159.scala
+++ b/tests/pos/t159.scala
diff --git a/tests/untried/pos/t1591_pos.scala b/tests/pos/t1591_pos.scala
index 4f55d7ce1..4f55d7ce1 100644
--- a/tests/untried/pos/t1591_pos.scala
+++ b/tests/pos/t1591_pos.scala
diff --git a/tests/untried/pos/t1591b.scala b/tests/pos/t1591b.scala
index c671ad647..c671ad647 100644
--- a/tests/untried/pos/t1591b.scala
+++ b/tests/pos/t1591b.scala
diff --git a/tests/untried/pos/t0002.scala b/tests/untried/pos/t0002.scala
deleted file mode 100644
index 4c58ed3f4..000000000
--- a/tests/untried/pos/t0002.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-object main {
-  def main(args: Array[String]) = {
-    val b = true;
-    while (b == true) { }
-  }
-}
diff --git a/tests/untried/pos/t0017.scala b/tests/untried/pos/t0017.scala
deleted file mode 100644
index d2bcda08d..000000000
--- a/tests/untried/pos/t0017.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-class Quantity {
-    def getValue = 0;
-    def connect(c: Constraint) = c.newValue;
-}
-
-abstract class Constraint(q: Quantity) {
-    def newValue: Unit;
-    q connect this
-}
-
-class Adder(q: Quantity) extends Constraint(q) {
-    def newValue = Console.println(q.getValue);
-}
-
-object Main {
-    def main(args: Array[String]): Unit = {
-        val x = new Quantity;
-        new Adder(x);
-        ()
-    }
-}
diff --git a/tests/untried/pos/t0020.scala b/tests/untried/pos/t0020.scala
deleted file mode 100644
index 4f1e5b173..000000000
--- a/tests/untried/pos/t0020.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-object Exceptions {
-
-    class CubeException(s: String) extends RuntimeException(s);
-
-    def main(args: Array[String]) =
-        Console.println(new CubeException("test"));
-
-}
diff --git a/tests/untried/pos/t0029.scala b/tests/untried/pos/t0029.scala
deleted file mode 100644
index 937b6d70c..000000000
--- a/tests/untried/pos/t0029.scala
+++ /dev/null
@@ -1,3 +0,0 @@
-object Main {
-  def f[a]: List[List[a]] = for (l1 <- Nil; l2 <- Nil) yield l1
-}
diff --git a/tests/untried/pos/t0030.scala b/tests/untried/pos/t0030.scala
deleted file mode 100644
index 2f23be14d..000000000
--- a/tests/untried/pos/t0030.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-trait A {
-  def f(x: Int): Unit;
-  def f(x: String): Unit;
-}
-
-class B extends A {
-  def f(x: Int): Unit = ();
-  def f(x: String): Unit = ();
-}
diff --git a/tests/untried/pos/t0031.scala b/tests/untried/pos/t0031.scala
deleted file mode 100644
index d4050c818..000000000
--- a/tests/untried/pos/t0031.scala
+++ /dev/null
@@ -1,29 +0,0 @@
-object Main {
-
-    trait Ensure[a] {
-        def ensure(postcondition: a => Boolean): a
-    }
-
-    def require[a](precondition: => Boolean)(command: => a): Ensure[a] =
-        if (precondition)
-            new Ensure[a] {
-	        def ensure(postcondition: a => Boolean): a = {
-	            val result = command;
-	            if (postcondition(result)) result
-	            else sys.error("Assertion error")
-                }
-	    }
-        else
-            sys.error("Assertion error");
-
-    def arb[a](s: List[a]) =
-        require (! s.isEmpty) {
-           s.head
-        } ensure (result => s contains result);
-
-    def main(args: Array[String]) = {
-    	val s = List(1, 2);
-        Console.println(arb(s))
-    }
-
-}
diff --git a/tests/untried/pos/t0032.scala b/tests/untried/pos/t0032.scala
deleted file mode 100644
index 727a7d4e9..000000000
--- a/tests/untried/pos/t0032.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-import java.io.{OutputStream, PrintStream};
-
-class PromptStream(s: OutputStream) extends PrintStream(s) {
-    override def println() = super.println();
-}
-
-object Main {
-
-    val out = new PromptStream(java.lang.System.out);
-
-    java.lang.System.setOut(out);
-
-    def main(args: Array[String]) =
-        //out.println("hello world");
-      ()
-
-}
diff --git a/tests/untried/pos/t0036.scala b/tests/untried/pos/t0036.scala
deleted file mode 100644
index 3c9a84f8a..000000000
--- a/tests/untried/pos/t0036.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-object m {
-
-  val xs: List[Int] = Nil
-  def f(i: Int) = 0
-  val v = xs map f
-
-  def m() = {}
-}
diff --git a/tests/untried/pos/t0039.scala b/tests/untried/pos/t0039.scala
deleted file mode 100644
index 652c606b0..000000000
--- a/tests/untried/pos/t0039.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-abstract class Extensible[A, This <: Extensible[A, This]](x: A, xs: This) { self: This =>
-	def mkObj(x: A, xs: This): This;
-}
-class Fixed[A](x: A, xs: Fixed[A]) extends Extensible[A, Fixed[A]](x, xs) {
-	def mkObj(x: A, xs: Fixed[A]) = new Fixed(x, xs);
-}
diff --git a/tests/untried/pos/t0049.scala b/tests/untried/pos/t0049.scala
deleted file mode 100644
index dd8664226..000000000
--- a/tests/untried/pos/t0049.scala
+++ /dev/null
@@ -1,3 +0,0 @@
-class C1(x: AnyRef) {};
-
-class C2 extends C1({ class A extends AnyRef {}; (new A) : AnyRef }) {};
diff --git a/tests/untried/pos/t0053.scala b/tests/untried/pos/t0053.scala
deleted file mode 100644
index 44763ef14..000000000
--- a/tests/untried/pos/t0053.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-object bug {
-  def foobar[c]: Int = {
-    class Foo { def foo: Bar = new Bar(); }
-    class Bar { def bar: c   = bar; }
-    0
-  }
-}
diff --git a/tests/untried/pos/t0054.scala b/tests/untried/pos/t0054.scala
deleted file mode 100644
index 670160f36..000000000
--- a/tests/untried/pos/t0054.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-class A {
-  case class B(x: C) extends A { val z: A.this.C = x }
-  class C {}
-}
diff --git a/tests/untried/pos/t0055.scala b/tests/untried/pos/t0055.scala
deleted file mode 100644
index 079629440..000000000
--- a/tests/untried/pos/t0055.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-class X(x : Any)
-class W {
-  new X(new Z() with Y) {}
-  trait Y { def y = () }
-}
-class Z(r : Any) { def this() = this(null) }
diff --git a/tests/untried/pos/t0061.scala b/tests/untried/pos/t0061.scala
deleted file mode 100644
index dd3f94f30..000000000
--- a/tests/untried/pos/t0061.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-object O {
-
-  class testClass ;
-
-  case class testA() extends testClass ; // works if you leave away "extends..."
-                                         // or if you write TestA
-  def ga( x:testClass ) = x match {
-	  case testA() => ()
-  }
-}
diff --git a/tests/untried/pos/t0064.scala b/tests/untried/pos/t0064.scala
deleted file mode 100644
index 1eeca8dca..000000000
--- a/tests/untried/pos/t0064.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-object B {
-  def main(Args:Array[String]) = {
-    val (_,x) = (1,2);
-    x + 1;
-  }
-}
diff --git a/tests/untried/pos/t0066.scala b/tests/untried/pos/t0066.scala
deleted file mode 100644
index 2153264e7..000000000
--- a/tests/untried/pos/t0066.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-class GBTree[A, B] /*with Map[A, B, GBTree[A,B]]*/ {
-    abstract class Tree[A,B];
-    case class Node[A,B](key:A,value:B,smaller:Node[A,B],bigger:Node[A,B])
-	extends Tree[A,B];
-    case class Nil[A,B]() extends Tree[A,B];
-
-}
diff --git a/tests/untried/pos/t0068.scala b/tests/untried/pos/t0068.scala
deleted file mode 100644
index beb2c7c0a..000000000
--- a/tests/untried/pos/t0068.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-class E {
-  def f() = {
-    val (_::l1) = List(1,2,3);
-    l1.tail;
-  }
-}
diff --git a/tests/untried/pos/t0069.scala b/tests/untried/pos/t0069.scala
deleted file mode 100644
index e4c242c0e..000000000
--- a/tests/untried/pos/t0069.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-object testCQ  {
-                            // why does this not work directly
-  case class Thing( name:String, contains:List[ Thing ]  );
-
-  /* ... but this one does?
-  abstract class T;
-  case class Thing2( name:String, contains:List[ T ]  ) extends T;
-  */
-
-}
diff --git a/tests/untried/pos/t0076.scala b/tests/untried/pos/t0076.scala
deleted file mode 100644
index 5419cf515..000000000
--- a/tests/untried/pos/t0076.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-// This is extracted from a test file => don't add a new test file.
-object bug {
-  def foo(i: => Int): Int = 0;
-
-  def bar: Int = {
-    var i: Int = 0;
-    foo (i);
-  }
-}
diff --git a/tests/untried/pos/t0081.scala b/tests/untried/pos/t0081.scala
deleted file mode 100644
index 20fd60497..000000000
--- a/tests/untried/pos/t0081.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-class A {
-    val b: A#B = new B;
-    class B {}
-}
diff --git a/tests/untried/pos/t0082.scala b/tests/untried/pos/t0082.scala
deleted file mode 100644
index 2b365ca33..000000000
--- a/tests/untried/pos/t0082.scala
+++ /dev/null
@@ -1,18 +0,0 @@
-
-object Main {
-
-    def min0[A](less: (A, A) => Boolean, xs: List[A]): Option[A] = xs match {
-        case List()  => None
-        case List(x) => Some(x)
-//      case x :: Nil => Some(x)
-        case y :: ys => (min0(less, ys): @unchecked) match {
-            case Some(m) => if (less(y, m)) Some(y) else Some(m)
-        }
-    }
-
-    def min(xs: List[Int]) = min0((x: Int, y: Int) => x < y, xs);
-
-    def main(args: Array[String]) =
-        Console.println(min(List()));
-
-}
diff --git a/tests/untried/pos/t0085.scala b/tests/untried/pos/t0085.scala
deleted file mode 100644
index e018afb6e..000000000
--- a/tests/untried/pos/t0085.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-object A {
-  case class B(c: C) {
-    class C;
-  }
-  class C;
-  val b: B = new B(new C());
-  val c: C = b.c;
-}
diff --git a/tests/untried/pos/t0091.scala b/tests/untried/pos/t0091.scala
deleted file mode 100644
index d491b7cfb..000000000
--- a/tests/untried/pos/t0091.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-class Bug {
-  def main(args: Array[String]) = {
-    var msg: String = null; // no bug if "null" instead of "_"
-    val f:  PartialFunction[Any, Unit] = { case 42 => msg = "coucou" };
-  }
-}
diff --git a/tests/untried/pos/t0093.scala b/tests/untried/pos/t0093.scala
deleted file mode 100644
index d648d773b..000000000
--- a/tests/untried/pos/t0093.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-object Bug {
-  def f(cond: => Boolean) = while (cond == false) {};
-  // no bug with "false == cond"
-}
diff --git a/tests/untried/pos/t0095.scala b/tests/untried/pos/t0095.scala
deleted file mode 100644
index 71386cf5c..000000000
--- a/tests/untried/pos/t0095.scala
+++ /dev/null
@@ -1,15 +0,0 @@
-class ParseResult[+T]
-case class Success[+T](t: T) extends ParseResult[T]
-
-abstract class Nonterminal[Output] {
-
-  type SubNonterminal = Nonterminal[T] forSome { type T <: Output }
-
-  def parse: ParseResult[Output]
-
-  def parse1(nts: List[SubNonterminal]): ParseResult[Output] =
-    nts match {
-      case nt::nts => nt.parse match { case Success(so) => Success(so) }
-      case Nil => throw new Error
-    }
-}
diff --git a/tests/untried/pos/t1381-old.scala b/tests/untried/pos/t1381-old.scala
deleted file mode 100644
index 076289189..000000000
--- a/tests/untried/pos/t1381-old.scala
+++ /dev/null
@@ -1,31 +0,0 @@
-import scala.reflect.Manifest
-
-class D[V <: Variable]
-
-class ID[V<:IV] extends D[V] {
-  type E = V#ValueType
-  def index(value:E) : Int = 0
-  // Comment this out to eliminate crash.  Or see below
-  def index(values:E*) : Iterable[Int] = null
-}
-
-abstract class Variable {
-  type VT <: Variable
-  def d : D[VT] = null
-}
-
-abstract class PV[T](initval:T) extends Variable  {
-  type VT <: PV[T]
-  type ValueType = T
-}
-
-trait IV extends Variable  {
-  type ValueType
-}
-
-abstract class EV[T](initval:T) extends PV[T](initval) with IV {
-  type VT <: EV[T]
-  override def d : ID[VT] = null
-  // Comment this out to eliminate crash
-  protected var indx = d.index(initval)
-}
diff --git a/tests/untried/pos/t1439.flags b/tests/untried/pos/t1439.flags
deleted file mode 100644
index bca57e478..000000000
--- a/tests/untried/pos/t1439.flags
+++ /dev/null
@@ -1 +0,0 @@
--unchecked -Xfatal-warnings -language:higherKinds
diff --git a/tests/untried/pos/t1565.scala b/tests/untried/pos/t1565.scala
deleted file mode 100644
index df333151d..000000000
--- a/tests/untried/pos/t1565.scala
+++ /dev/null
@@ -1,18 +0,0 @@
-object Bug1565 {
-  object X0 { 0;  (a : Int, b : Int, c : Int) => println(List(a, b))   }
-  def x() = { 0; (a : Int, b : Int) => println(List(a, b)) ; 0  }
-
-  (a : Int, b : Int) => println(List(a, b))
-
-  // various function syntaxes to exercise the parser
-  val xs = List(1,2,3)
-  xs.filter(x => x < 2)
-  xs.filter((x) => x < 2)
-  xs.filter { x => x < 2 }
-  xs.filter { _ < 2 }
-  xs.filter (_ < 2)
-  xs.foreach { e =>
-    val buf0 = e + 1
-    buf0
-  }
-}
diff --git a/tests/untried/pos/t1614/bar.scala b/tests/untried/pos/t1614/bar.scala
index be994c3af..0b69a8462 100644
--- a/tests/untried/pos/t1614/bar.scala
+++ b/tests/untried/pos/t1614/bar.scala
@@ -1,4 +1,4 @@
 // bar.scala
 object Bar {
-    val a = new FooImpl with AbstractOverrideFoo
+  val a = new FooImpl with AbstractOverrideFoo
 }
diff --git a/tests/untried/pos/t1614/foo.scala b/tests/untried/pos/t1614/foo.scala
index 5db548ac7..de225b9e5 100644
--- a/tests/untried/pos/t1614/foo.scala
+++ b/tests/untried/pos/t1614/foo.scala
@@ -1,6 +1,6 @@
 // foo.scala
 trait Foo {
-    def foo(arg: List[_])
+  def foo(arg: List[_])
 }
 trait FooImpl extends Foo {
     def foo(arg: List[_]): Unit = {}