On Wed, 08 Aug 2012 11:13:30 +0200, Timon Gehr <timon.g...@gmx.ch> wrote:
Yes, but note that this distinction does not make any sense. alias int Int; // works isType!Int // 'Int' is clearly a symbol, yet the instantiation fails.
I'm not sure it is 'clearly' a symbol. To the compiler, there is no difference between int and your Int - they're just different names for the exact same thing. Depending on when the translation occurs, it may not be sensible to think of them as separate.
alias declarations should just accept built-in types. If someone for some obscure reason needs to exclude them, template constraints are good enough. There is no reason to make built-in types behave specially here.
Agreed. -- Simen