From abf94f78c50a0f7717898d25a88cbc7ca86a0588 Mon Sep 17 00:00:00 2001 From: Werner Dietl Date: Wed, 1 Jan 2025 19:14:15 -0500 Subject: [PATCH] Fix JDK 23 formatting mismatch --- .../checker/i18nformatter/I18nFormatterVisitor.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java b/checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java index 5a062276935..8d3ffdc6471 100644 --- a/checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java +++ b/checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java @@ -170,9 +170,9 @@ protected boolean commonAssignmentCheck( } } - /// TODO: What does "take precedence over" mean? Both are issued, but the - /// "i18nformat.excess.arguments" appears first in the output. Is this meant to not call - /// super.commonAssignmentCheck() if `result` is already false? + // TODO: What does "take precedence over" mean? Both are issued, but the + // "i18nformat.excess.arguments" appears first in the output. Is this meant to not call + // super.commonAssignmentCheck() if `result` is already false? // By calling super.commonAssignmentCheck() last, any "i18nformat.excess.arguments" // message issued for a given line of code will take precedence over the // "assignment.type.incompatible"