(1.) http://digitalmars.com/d/statement.html#block:
>
> A local symbol's name, however, must be unique within the function.
>

(2.) http://digitalmars.com/d/statement.html#block:
>
> Local names should all be unique within a function.
>

Is it "should" or "must"?

The current implementation behaves along the 2. quote but all examples in the documentation are in line with the 1. quotation.

Thomas