// "Replace with Java-style array declaration" "true-preview"
record X (int[] a){}