Bug 274 – Different template alias arguments are treated as the same.

Under certain conditions, different template alias arguments are treated as the same, and thus fail to create different template instances. Consider this code: ---- import std.stdio; class Foo {} class Bar {} template aliastest(alias A) { pragma(msg,"Alias Test instanciated"); void aliastest() { writefln("Alias Test: ", (new A!().al).classinfo.name); } } template boxtpl(alias A) { template box() { alias A al; } } void test() { aliastest!(boxtpl!(Foo).box) (); aliastest!(boxtpl!(Bar).box) (); aliastest!(boxtpl!(Exception).box) (); } ---- In the test function, aliastest is only instantiated once (we only see the pragma msg once), and both instances are considered to be the same, such that the runtime output is: Alias Test: Foo Alias Test: Foo Alias Test: Foo That is, "aliastest!(boxtpl!(Bar).box)" and any other subsequent atempted instantiations of the form "aliastest!(boxtpl!(XXXX).box)" are considered to be the same as the first one, the one with alias argument "boxtpl!(Foo).box".

Fixed DMD 0.164