Bug 2527 – Alias Template Params Are Always Same Type As First Instantiation (according to typeof(x).stringof)

The following works correctly on 1.029, but not on 1.033 and 1.038: template fooMixin(alias bar) { pragma(msg, "fooMixin!("~bar.stringof~"): typeof(bar).stringof: " ~ typeof(bar).stringof); const char[] fooMixin=""; } template fooFunc(alias bar) { pragma(msg, "fooFunc!("~bar.stringof~"): typeof(bar).stringof: " ~ typeof(bar).stringof); void fooFunc() {} } void main(char[][] args) { int myInt; bool myBool; pragma(msg, "main: typeof(myInt).stringof: " ~ typeof(myInt).stringof); pragma(msg, "main: typeof(myBool).stringof: " ~ typeof(myBool).stringof); mixin(fooMixin!(myInt)); mixin(fooMixin!(myBool)); fooFunc!(myInt)(); fooFunc!(myBool)(); } Expected compiler output (and actual compiler output on 1.029): main: typeof(myInt).stringof: int main: typeof(myBool).stringof: bool fooMixin!(myInt): typeof(bar).stringof: int fooMixin!(myBool): typeof(bar).stringof: bool fooFunc!(myInt): typeof(bar).stringof: int fooFunc!(myBool): typeof(bar).stringof: bool Actual compiler output on 1.033 and 1.038: main: typeof(myInt).stringof: int main: typeof(myBool).stringof: bool fooMixin!(myInt): typeof(bar).stringof: int fooMixin!(myBool): typeof(bar).stringof: int fooFunc!(myInt): typeof(bar).stringof: int fooFunc!(myBool): typeof(bar).stringof: int If the last 4 lines of main are changed to this: //mixin(fooMixin!(myInt)); mixin(fooMixin!(myBool)); //fooFunc!(myInt)(); fooFunc!(myBool)(); ...then myBool is correctly evaluated as bool instead of int.

I'm closing this as it's been fixed in 1.039/2.023: http://www.digitalmars.com/d/1.0/changelog.html#new1_039 http://www.digitalmars.com/d/2.0/changelog.html#new2_023