If we go with choice (b), I would recommend that it be amended to read:(b) If the corresponding field is definitely initialized by the explicit constructor body, leave it out of the implicit initialization code; if the corresponding field is definitely not initialized by the explicit constructor body, put it in the implicit initialization code; and in all other cases it is a compile-time error. This is to defend against code such as record Point(int x, int y) { Point { if (x > 0) this.y = x; } }
Yes, that was the intent -- thanks for making this explicit. So DA -- OK, DU -- OK, but neither -- not OK.
