diff --git a/rewrite-java-17/src/main/java/org/openrewrite/java/isolated/ReloadableJava17ParserVisitor.java b/rewrite-java-17/src/main/java/org/openrewrite/java/isolated/ReloadableJava17ParserVisitor.java
index e9d67d54a6d..425fc0af604 100644
--- a/rewrite-java-17/src/main/java/org/openrewrite/java/isolated/ReloadableJava17ParserVisitor.java
+++ b/rewrite-java-17/src/main/java/org/openrewrite/java/isolated/ReloadableJava17ParserVisitor.java
@@ -1298,7 +1298,11 @@ public J visitAnnotatedType(AnnotatedTypeTree node, Space fmt) {
             if (node.getUnderlyingType() instanceof JCFieldAccess) {
                 return new J.AnnotatedType(randomId(), fmt, Markers.EMPTY, leadingAnnotations, annotatedTypeTree(node.getUnderlyingType(), annotationPosTable));
             } else if (node.getUnderlyingType() instanceof JCArrayTypeTree) {
-                return new J.AnnotatedType(randomId(), fmt, Markers.EMPTY, leadingAnnotations, arrayTypeTree(node, annotationPosTable));
+                J.AnnotatedType annotatedType = new J.AnnotatedType(randomId(), fmt, Markers.EMPTY, leadingAnnotations, arrayTypeTree(node, annotationPosTable));
+//                if (((JCArrayTypeTree) node.getUnderlyingType()).getType() instanceof JCAnnotatedType) {
+//                    visitAnnotatedType((AnnotatedTypeTree) ((JCArrayTypeTree) node.getUnderlyingType()).getType(), fmt);
+//                }
+                return annotatedType;
             }
         }
         return new J.AnnotatedType(randomId(), fmt, Markers.EMPTY, leadingAnnotations, convert(node.getUnderlyingType()));
@@ -1387,7 +1391,7 @@ private TypeTree mapDimensions(TypeTree baseType, Tree tree, Map<Integer, JCAnno
         if (typeIdent instanceof JCArrayTypeTree) {
             List<J.Annotation> annotations = leadingAnnotations(annotationPosTable);
             int saveCursor = cursor;
-            whitespace();
+            Space space = whitespace();
             if (source.startsWith("[", cursor)) {
                 cursor = saveCursor;
                 JLeftPadded<Space> dimension = padLeft(sourceBefore("["), sourceBefore("]"));
@@ -1400,6 +1404,18 @@ private TypeTree mapDimensions(TypeTree baseType, Tree tree, Map<Integer, JCAnno
                         dimension,
                         typeMapping.type(tree)
                 );
+            } else if (source.startsWith("...", cursor)) {
+                J.ArrayType type = new J.ArrayType(
+                        randomId(),
+                        EMPTY,
+                        Markers.EMPTY,
+                        mapDimensions(baseType, ((JCArrayTypeTree) typeIdent).elemtype, annotationPosTable),
+                        annotations,
+                        JLeftPadded.build(space),
+                        typeMapping.type(tree)
+                );
+                cursor = saveCursor;
+                return type;
             }
             cursor = saveCursor;
         }
diff --git a/rewrite-java-test/src/test/java/org/openrewrite/java/JavaParserTest.java b/rewrite-java-test/src/test/java/org/openrewrite/java/JavaParserTest.java
index 03c6a38ee89..b81d655cd26 100644
--- a/rewrite-java-test/src/test/java/org/openrewrite/java/JavaParserTest.java
+++ b/rewrite-java-test/src/test/java/org/openrewrite/java/JavaParserTest.java
@@ -214,4 +214,71 @@ class A {
           )
         );
     }
+
+    @Test
+    @Issue("https://github.com/openrewrite/rewrite/issues/3881")
+    void annotatedVargArgs() {
+        rewriteRun(
+          java(
+            """
+              import org.jspecify.annotations.NonNull;
+              
+              class C1 {
+                  void m(@NonNull String @NonNull[] arrayArgs) {
+                  }
+              }
+              """
+          ),
+          java(
+            """
+              import org.jspecify.annotations.NonNull;
+              
+              class C2 {
+                  void m(@NonNull String @NonNull ... varArgs) {
+                  }
+              }
+              """
+          ),
+          java(
+            """
+              import org.jspecify.annotations.NonNull;
+              
+              class C3 {
+                  void m(String @NonNull[] @NonNull[] arrayArgs) {
+                  }
+              }
+              """
+          ),
+          java(
+            """
+              import org.jspecify.annotations.NonNull;
+              
+              class C4 {
+                  void m(String @NonNull [ ] @NonNull ... s) {
+                  }
+              }
+              """
+          ),
+          java(
+            """
+              import org.jspecify.annotations.NonNull;
+              
+              class C5 {
+                  void m(@NonNull String @NonNull[] @NonNull[] arrayArgs) {
+                  }
+              }
+              """
+          ),
+          java(
+            """
+              import org.jspecify.annotations.NonNull;
+              
+              class C6 {
+                  void m(@NonNull String @NonNull [ ] @NonNull ... s) {
+                  }
+              }
+              """
+          )
+        );
+    }
 }
diff --git a/rewrite-java/src/main/java/org/openrewrite/java/JavaPrinter.java b/rewrite-java/src/main/java/org/openrewrite/java/JavaPrinter.java
index f6b8081eca3..2bdc1e21a58 100644
--- a/rewrite-java/src/main/java/org/openrewrite/java/JavaPrinter.java
+++ b/rewrite-java/src/main/java/org/openrewrite/java/JavaPrinter.java
@@ -428,8 +428,8 @@ protected void printStatementTerminator(Statement s, PrintOutputCapture<P> p) {
                         getCursor()
                                 .dropParentUntil(
                                         c -> c instanceof Switch ||
-                                                c instanceof SwitchExpression ||
-                                                c == Cursor.ROOT_VALUE
+                                             c instanceof SwitchExpression ||
+                                             c == Cursor.ROOT_VALUE
                                 )
                                 .getValue();
                 if (aSwitch instanceof SwitchExpression) {
@@ -848,6 +848,15 @@ public J visitVariableDeclarations(VariableDeclarations multiVariable, PrintOutp
             p.append(']');
         }
         if (multiVariable.getVarargs() != null) {
+            if (!(multiVariable.getTypeExpression() instanceof ArrayType)) {
+                if (p.out.charAt(p.out.length() - 1) == ']') {
+                    int posToCheck = p.out.length() - 2;
+                    while (p.out.charAt(posToCheck) != '[') {
+                        posToCheck--;
+                    }
+                    p.out.delete(posToCheck, p.out.length());
+                }
+            }
             visitSpace(multiVariable.getVarargs(), Space.Location.VARARGS, p);
             p.append("...");
         }