test zero-arg fail method

uber · Mar 27, 2024 · 39aeb23 · 39aeb23
1 parent db15961
commit 39aeb23
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/NullAwayContractsBooleanTests.java b/nullaway/src/test/java/com/uber/nullaway/NullAwayContractsBooleanTests.java
@@ -282,6 +282,12 @@ public void unconditionalFail() {
             "    }",
             "    return o1.toString();",
             "  }",
+            "  String test5(@Nullable Object o1) {",
+            "    if (o1 == null) {",
+            "      Validation.fail();",
+            "    }",
+            "    return o1.toString();",
+            "  }",
             "}")
         .doTest();
   }
@@ -607,6 +613,10 @@ private CompilationTestHelper helper() {
             "  static void fail(String msg) {",
             "    throw new RuntimeException(msg);",
             "  }",
+            "  @Contract(\" -> fail\")",
+            "  static void fail() {",
+            "    throw new RuntimeException(\"something failed\");",
+            "  }",
             "  @Contract(\"true -> true; false -> false\")",
             "  static boolean identity(boolean value) {",
             "    return value;",