fixes fixable errors

opprop · Sep 10, 2023 · 2776f9b · 2776f9b
1 parent bd9e6fa
commit 2776f9b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/testing/infer/Demo.java b/testing/infer/Demo.java
@@ -5,7 +5,7 @@ public class Demo {
 
   void foo(String p) {}
   void bar(@TopSecret String s) {
-    // :: fixable-error: (argument.type.incompatible)
+    // :: error: (argument.type.incompatible)
     foo(s);
   }
 }
diff --git a/testing/infer/Parameter.java b/testing/infer/Parameter.java
@@ -11,9 +11,9 @@ void method4(String p) {}
 
   void parameter(String s1, @TopSecret String s2, @Confidential String s3, @Public String s4) {
     method1(s1);
-    // :: fixable-error: (argument.type.incompatible)
+    // :: error: (argument.type.incompatible)
     method2(s2);
-    // :: fixable-error: (argument.type.incompatible)
+    // :: error: (argument.type.incompatible)
     method3(s3);
     method4(s4);
   }