Smoke-test the native binary on Java 25 syntax

A compact source file with a module import and an unnamed pattern, formatted
by the image itself: this is the syntax palantir#1707
brings, and the image also needs its ImportTree#isModule metadata for it.

Author: abashev

.github/workflows/ci.yml

@@ -130,7 +130,8 @@ jobs:
         env:
           JDK21_HOME: ${{ steps.jdk21.outputs.path }}
 
-      # The binary itself on a file that needs formatting, a formatted one and one that does not parse.
+      # The binary itself on a file that needs formatting, a formatted one, one that does not parse and
+      # one in Java 25 syntax.
       - name: Smoke-test the binary
         run: |
           binary="$PWD/$(ls open-java-format-native/build/native/nativeCompile/open-java-format-* | grep -v '\.txt$')"
@@ -143,6 +144,10 @@ jobs:
           printf 'class B {\n' > B.java
           set +e; "$binary" B.java; status=$?; set -e
           test "$status" -eq 2
+          # Java 25 syntax: a compact source file with a module import and an unnamed pattern.
+          printf 'import module java.base;\nrecord Box(int a,int b){}\nvoid main(){Object o=new Box(1,2);if(o instanceof Box(_,_)){IO.println(List.of(1));}}\n' > C.java
+          "$binary" --replace C.java
+          printf 'import module java.base;\n\nrecord Box(int a, int b) {}\n\nvoid main() {\n    Object o = new Box(1, 2);\n    if (o instanceof Box(_, _)) {\n        IO.println(List.of(1));\n    }\n}\n' | diff - C.java
 
       - name: Test the plugins against the image
         run: ./gradlew -PnativeImage=true :open-java-format-jdk-bootstrap:test :gradle-open-java-format:test