2 files changed, 2 insertions, 2 deletions
diff --git a/test/files/pos/matthias3.scala b/test/files/pos/matthias3.scala
index c76d291245..6e86afeca6 100644
--- a/test/files/pos/matthias3.scala
+++ b/test/files/pos/matthias3.scala
@@ -8,6 +8,6 @@ class B() extends A() {
 }
 abstract class C() {
     val b: B = new B();
-    val a: A with { val y: b.type };
+    val a: A { val y: b.type };
 }
 
diff --git a/test/files/pos/matthias5.scala b/test/files/pos/matthias5.scala
index a6c9808c9e..0dcb7f833d 100644
--- a/test/files/pos/matthias5.scala
+++ b/test/files/pos/matthias5.scala
@@ -7,6 +7,6 @@ class B() extends A() {
 }
 abstract class C() {
     val b: B = new B();
-    val a: A with { val y: b.type };
+    val a: A { val y: b.type };
 }