minor comment tweak

uber · Sep 30, 2024 · f98fb3c · f98fb3c
1 parent 56a0984
commit f98fb3c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.../main/java/com/uber/nullaway/handlers/contract/fieldcontract/EnsuresNonNullIfHandler.java b/.../main/java/com/uber/nullaway/handlers/contract/fieldcontract/EnsuresNonNullIfHandler.java
@@ -218,7 +218,7 @@ public void onDataflowVisitReturn(
      * are then correct, as the method correctly returns in case the semantics don't hold.
      * - Otherwise, semantics are wrong, as the method incorrectly returns.
      * - If the expression isn't a literal boolean, then semantics are wrong, as we
-     * assume the data-flow engine is correct.
+     * assume it is possible that the configured non-null boolean can be returned.
      */
     if (!allFieldsAreNonNull) {
       if (evaluatesToNonNullLiteral || !isBooleanLiteral) {