Skip test wait for discussion

opprop · May 1, 2024 · f739848 · f739848
1 parent e052dfe
commit f739848
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/testinput/typecheck/GenericInterfaces.java b/testinput/typecheck/GenericInterfaces.java
@@ -1,6 +1,7 @@
 import qual.Immutable;
 import qual.Mutable;
 import qual.Readonly;
+// @skip-test wait for discussion
 
 interface MIt<E extends @Readonly Object> {
     E next();

diff --git a/testinput/typecheck/Static.java b/testinput/typecheck/Static.java
@@ -30,6 +30,7 @@ void twoRuntimeSemantics() {
 
     // :: error: (static.receiverdependantmutable.forbidden)
     static @ReceiverDependantMutable Object readStaticReceiverDependantMutableField(
+            // :: error: (static.receiverdependantmutable.forbidden)
             @ReceiverDependantMutable Object p) {
         return o;
         // TODO Avoid warnings for receiverdependantmutable fields in anonymous class