Rules for Symbol Name Lookup seem contradictory

[Manfred Nowak]

On Monday, 22 June 2020 at 02:16:52 UTC, user1234 wrote:
[...]
> Maybe that the spec is a bit vague as it doesn't mention that
[...]
A vague place in a spec is usually called "Dark Corner" and the 
functionality then marked as "Implementation defined".

But this mark is missing here.

And restricting the validity of the contradictory seeming 
sentences to overloadables only, puts all others into an 
unregulated state.

Therefore the stated problem stays unexplained.