From 39aeb2383c524d87e197587ef5b7d44b1e7d4c2d Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Wed, 27 Mar 2024 09:36:10 -0700
Subject: [PATCH] test zero-arg fail method

---
 .../uber/nullaway/NullAwayContractsBooleanTests.java   | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/nullaway/src/test/java/com/uber/nullaway/NullAwayContractsBooleanTests.java b/nullaway/src/test/java/com/uber/nullaway/NullAwayContractsBooleanTests.java
index fcbf2c6263..201b4fccde 100644
--- 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;",