Add a MCVE for NonApiType and a record.

PiperOrigin-RevId: 713309496
google · Jan 8, 2025 · d9ee5d5 · d9ee5d5
1 parent 650a95f
commit d9ee5d5
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/core/src/test/java/com/google/errorprone/bugpatterns/NonApiTypeTest.java b/core/src/test/java/com/google/errorprone/bugpatterns/NonApiTypeTest.java
@@ -345,4 +345,24 @@ public Record(ArrayList<String> a) {
             """)
         .doTest();
   }
+
+  @Test
+  public void recordCompactConstructor_notFlagged() {
+    helper
+        .addSourceLines(
+            "Test.java",
+            """
+            import static com.google.common.base.Preconditions.checkArgument;
+            import com.google.common.collect.ImmutableSet;
+
+            public class Test {
+              public record RecordWithImmutableSet(ImmutableSet<String> ids) {
+                public RecordWithImmutableSet {
+                  ids.forEach(id -> checkArgument(!id.isBlank()));
+                }
+              }
+            }
+            """)
+        .doTest();
+  }
 }