From my read of the article line 3 is a syntax error. All fields in value types are final.

No, there’s no way to know from those four lines that will happen, but we have that problem today. If Point was a record the same thing would happen.