Commented precondition

ucr-riple · Jul 13, 2022 · cdaf034 · cdaf034
1 parent 09cda4c
commit cdaf034
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/core/src/main/java/edu/ucr/cs/riple/core/metadata/index/Fix.java b/core/src/main/java/edu/ucr/cs/riple/core/metadata/index/Fix.java
@@ -63,7 +63,8 @@ public static Factory<Fix> factory(Config config, FieldDeclarationAnalysis analy
               field.variables.addAll(variables);
             });
       }
-      Preconditions.checkArgument(info[7].equals("nullable"), "unsupported annotation: " + info[7]);
+      // TODO: Uncomment preconditions below once NullAway 0.9.9 is released.
+      // Preconditions.checkArgument(info[7].equals("nullable"), "unsupported annotation: " + info[7]);
       return new Fix(new Change(location, config.nullableAnnot, true), info[6], info[8], info[9]);
     };
   }