2 files changed, 10 insertions, 10 deletions
diff --git a/test/neg/vincent.scala b/test/neg/vincent.scala
index 0af526d6aa..b61c8c4127 100644
--- a/test/neg/vincent.scala
+++ b/test/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
   }
 
diff --git a/test/neg/vincent1.scala b/test/neg/vincent1.scala
index afcb9a94f4..53104be640 100644
--- a/test/neg/vincent1.scala
+++ b/test/neg/vincent1.scala
@@ -4,12 +4,12 @@ module test {
 
   trait B { type T; }
 
-  def functor(x: A): B with { type T = x.T } =
-    new B with {
+  def functor(x: A): B { type T = x.T } =
+    new B {
       type T = x.T;
     };
 
-  val a = new  A with { type T = String };
+  val a = new  A { type T = String };
   val b = functor(a);
 
   val s: b.T = "coucou";