Update neg test after override check changes

Author: OlivierBlanvillain

tests/neg/6314-6.scala

@@ -21,15 +21,11 @@ object Test3 {
   trait YY extends XX {
     type Foo = X & Y
 
-    def apply(fa: Bar[X & Foo]): Bar[Y & Foo] = fa
+    def apply(fa: Bar[X & Foo]): Bar[Y & Foo] = fa // error
+        // overriding method apply in trait XX of type (fa: String): Int;
+        //   method apply of type (fa: String): String has incompatible type
   }
-  (new YY {}).boom // error
-                   // object creation impossible, since def apply(fa: String):
-                   // Int is not defined (Note that String does not match
-                   // Test3.Bar[X & Object with Test3.YY {...}#Foo])
-
-                   // So the apply in YY doesn't implements the one in XX, and
-                   // everything is nice and sound.
+  (new YY {}).boom
 }
 
 object Test4 {
@@ -53,10 +49,9 @@ object Test4 {
   trait YY extends XX {
     type Foo = X & Y
 
-    def apply(fa: Bar[X & FooAlias]): Bar[Y & FooAlias] = fa
+    def apply(fa: Bar[X & FooAlias]): Bar[Y & FooAlias] = fa // error
+        // overriding method apply in trait XX of type (fa: String): Int;
+        //   method apply of type (fa: String): String has incompatible type
   }
-  (new YY {}).boom // error
-                   // object creation impossible, since def apply(fa: String):
-                   // Int is not defined  (Note that String does not match
-                   // Test4.Bar[X & Object with Test4.YY {...}#FooAlias])
+  (new YY {}).boom
 }