record (int x, @ParamAnno int y, @FieldAnno int... other) { @ConstructorAnno public Test(int x, @ParamAnno int y, int... other) { this.x = Math.abs(x); if (other == null) other = new int[0]; this.y = y; this.other = other; } }