The spec states 'type names'. 'int' is a type name - afaiks there is nothing
that specifies the the parameter must be an instance of a type for alias to
work as you have said. Class and template type name specifiers work just
fine with alias parameters - only primitive type typenames fail.
Andrew Edwards wrote: