either the field is final and must be initialized ...

# language-proposals

[yole]

either the field is final and must be initialized in the constructor, or it is not final and would cause race conditions if used in smartcasts