Help!

[David Nadlinger]

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