A class has a final field that references a mutable array. The constructor sets 'this.arr = new int[]{1,2,3}'. After safe (or even racy) publication, what does the final-field guarantee cover for a reader?
class C { final int[] arr; C(){ arr = new int[]{1,2,3}; } }