On 11/26/2012 08:58 PM, David Nadlinger wrote:
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
Yes, not every alias argument is a valid type, so why would the alias be
considered more specialized?
