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 thatequally, 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
