- Fixed some minor errors

2 files changed, 4 insertions, 4 deletions

diff --git a/test/files/neg/vincent1.check b/test/files/neg/vincent1.check
index 576386a839..82408b8a49 100644
--- a/test/files/neg/vincent1.check
+++ b/test/files/neg/vincent1.check
@@ -1,4 +1,4 @@
 vincent1.scala:7: type x.type escapes its defining scope as part of test.B with {type T = x.T}
-  def functor(x: A): B with { type T = x.T } =
+  def functor(x: A): B { type T = x.T } =
                      ^
 one error found
diff --git a/test/files/pos/test5.scala b/test/files/pos/test5.scala
index 850fb49a31..08f91650da 100644
--- a/test/files/pos/test5.scala
+++ b/test/files/pos/test5.scala
@@ -11,7 +11,7 @@ module test {
   def g[Jg](h: Jg):G[Jg] = g[Jg](h);
 
   class M[P]() {
-      class I[X]() {
+      abstract class I[X]() {
 	  // Methods to check the type X and P as seen from instances of I
 	  def chk_ix(x: X): Unit = ();
 	  def chk_ip(p: P): Unit {}
@@ -30,7 +30,7 @@ module test {
   class N[Q]() extends M[F[Q]]() {
       val j:J[G[Q]] = null;
 
-      class J[Y]() extends I[G[Y]]() {
+      abstract class J[Y]() extends I[G[Y]]() {
 	  // Values with types Y and X as seen from instances of J
 	  def val_jy: Y = val_jy;
 	  def val_jx: G[Y] = g[Y](val_jy);
@@ -65,4 +65,4 @@ module test {
       j.chk_ix(j.val_jx);
       j.chk_ix(val_njx);
   }
-}
\ No newline at end of file
+}