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.