Double-check that the ImmutableChecker covers records

PiperOrigin-RevId: 696147096
google · Nov 13, 2024 · d4e5a5f · d4e5a5f
1 parent 5cd4330
commit d4e5a5f
Showing 1 changed file with 31 additions and 0 deletions.
diff --git a/core/src/test/java/com/google/errorprone/bugpatterns/threadsafety/ImmutableCheckerTest.java b/core/src/test/java/com/google/errorprone/bugpatterns/threadsafety/ImmutableCheckerTest.java
@@ -3556,4 +3556,35 @@ public void enumBound() {
             """)
         .doTest();
   }
+
+  @Test
+  public void mutableRecord() {
+    compilationHelper
+        .addSourceLines(
+            "Test.java",
+            """
+            import java.util.List;
+            import com.google.errorprone.annotations.Immutable;
+
+            @Immutable
+            // BUG: Diagnostic contains: 'R' has field 'xs'
+            record R(List<String> xs) {}
+            """)
+        .doTest();
+  }
+
+  @Test
+  public void immutableRecord() {
+    compilationHelper
+        .addSourceLines(
+            "Test.java",
+            """
+            import com.google.common.collect.ImmutableList;
+            import com.google.errorprone.annotations.Immutable;
+
+            @Immutable
+            record R(ImmutableList<String> xs) {}
+            """)
+        .doTest();
+  }
 }