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.
