*** empty log message ***

1 files changed, 0 insertions, 21 deletions

diff --git a/test/pos/vincent.scala b/test/pos/vincent.scala
deleted file mode 100644
index eed25eb84c..0000000000
--- a/test/pos/vincent.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-object test {
-
-  trait A { type T; }
-
-  trait B { type T; }
-
-  /** def functor(x: A): B { type T = x.T } */
-  abstract class functor() {
-    val arg: A;
-    val res: B { type T = arg.T } =
-      new B { type T = arg.T; };
-  }
-
-  val a = new  A { type T = String };
-  /** val b: B { type T = String } = functor(a) */
-  val b: B { type T = String } = {
-    val tmp = new functor() { val arg = a };
-    tmp.res
-  }
-
-}