About template template arguments syntax

[Philippe Sigaud]

On Sun, Oct 2, 2011 at 23:25, David Nadlinger <see at klickverbot.at> wrote:

> By the way, the issue here is the builtin primitive types are not considered
> symbols, user-defined types are matched by alias.

That's because user-defined types have a name, I guess. So alias
catches the name, not the underlying types (if that makes sense). Hmm,
I wonder what happens with anonymous user-defined types. I guess the
compiler has an internal name for them, like for anonymous functions.


Philippe