Let C be a class declared within the scope of V. Then:
• V is definitely assigned before an instance variable initializer (§188.8.131.52) of C iff V is definitely assigned before the declaration of C.
Note that there are no rules that would allow us to conclude that V is definitely unassigned before an instance variable initializer. We can informally conclude that V is not definitely unassigned before any instance 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 member field of C, declared in C. Then:
• V is definitely unassigned (and moreover is not definitely assigned) before the leftmost ...