Let C be a class declared within the scope of V. Then:
Note that there are no rules that would allow us to conclude that V is definitely unassigned before a static variable initializer or enum constant. We can informally conclude that V is not definitely unassigned before any static variable initializer of C, but there is no need for such a rule to be stated explicitly.
Let C be a class, and let V be a blank
static final member field of C, declared in C. Then:
• V is definitely unassigned (and moreover is not definitely assigned) before ...