Possible bug of "missing matching more than one candidate" in overload set

[user1234]

On Friday, 13 February 2026 at 14:19:20 UTC, monkyyy wrote:
> Behavior looks correct to me, auto flattening and 
> specialization are both written down in the spec somewhere.
>
> [...]

Yes but both  `f` match !

Unliquely situation (more interested with the semantics here) but 
what could happen is: in a library such an overload set exists 
and leads to bugs, because the compiler does not inform you.