Java Language Specification, Version Java SE 21 Edition

4.12.3. Kinds of Variables

3 Documented Misconceptions

ForVariableScopeBeyondLoop

The scope of variables declared in a for loop header extends beyond the loop

LoopBodyScopeImpliesLoopLifetime

Lifetime of variables declared in a loop body extends across all loop iterations

UndeclaredVariables

Variables can be used even without being declared beforehand