1 files changed, 7 insertions, 7 deletions
diff --git a/test/files/neg/vincent.scala b/test/files/neg/vincent.scala
index 0af526d6aa..b61c8c4127 100644
--- a/test/files/neg/vincent.scala
+++ b/test/files/neg/vincent.scala
@@ -4,17 +4,17 @@ module test {
 
   trait B { type T; }
 
-  /** def functor(x: A): B with { type T = x.T } */
+  /** def functor(x: A): B { type T = x.T } */
   abstract class functor() {
     val arg: A;
-    val res: B with { type T = arg.T } =
-      new B with { type T = arg.T; };
+    val res: B { type T = arg.T } =
+      new B { type T = arg.T; };
   }
 
-  val a = new  A with { type T = String };
-  /** val b: B with { type T = String } = functor(a) */
-  val b: B with { type T = String } = {
-    val tmp = new functor() with { val arg = a };
+  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
   }