Testing initialization safety of final fields
I wrote the spec. The TL; DR version of this answer is that just because it may see 0 for y, that doesn’t mean it is guaranteed to see 0 for y. In this case, the final field spec guarantees that you will see 3 for x, as you point out. Think of the writer … Read more