Help!

[Timon Gehr]

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?