[Issue 19569] overload resolution not right?

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu Jan 10 08:55:16 UTC 2019


--- Comment #8 from Manu <turkeyman at gmail.com> ---
> both templates will be nothrow, so the compiler is correct to be confused.

How can they both be nothrow? One is nothrow, the other is not... they're
extern, so they can't infer anything. The instantiated templates should have
identical signatures to the functions above.

> Look at my example above for a case where it's actually not ambiguous and still shows the same error message.

Right... but that's a bug, right? The 2 functions definitely have different
(and correct) signatures, so the overload resolution should work just like the
simple case?


More information about the Digitalmars-d-bugs mailing list