diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/JSpecifyVarargsTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/JSpecifyVarargsTests.java
index 50cc48740f..c13dae81d0 100644
--- a/nullaway/src/test/java/com/uber/nullaway/jspecify/JSpecifyVarargsTests.java
+++ b/nullaway/src/test/java/com/uber/nullaway/jspecify/JSpecifyVarargsTests.java
@@ -56,6 +56,10 @@ public void testNullableVarargs() {
             "public class Utilities {",
             " public static String takesNullableVarargs(Object o, @Nullable Object... others) {",
             "  String s = o.toString() + \" \" + others.toString();",
+            "  for (Object other : others) {",
+            "    // no error here; requires a type-use annotation on the elements",
+            "    s += other.toString();",
+            "  }",
             "  return s;",
             " }",
             "}")