On Monday, 26 November 2012 at 19:54:46 UTC, Walter Bright wrote:
On 11/27/2012 6:43 AM, Manu wrote:
struct S {}
isSymbol!S <- why isn't this ambiguous? both templates match that
equally, why would it prefer the alias one?

When two templates match an argument list, the compiler picks the most specialized match.

Yes, but this requires that "alias T" and "T" are (totally) ordered, which is not clear, a priori.

David

Reply via email to