Bug 3001 – Templated types within a mixin not reinstantiated properly for new instantiation

Tricky to summarize. The following doesn't compile: ======== struct TemplateStruct(int x) {} template T() { struct S { TemplateStruct!(x) t; } void foo() { TemplateStruct!(x) t; S s; s.t = t; } } class Super(int x) { mixin T!(); } void main() { Super!(1) a; Super!(2) b; } ======== Errors: arst.d(11): Error: cannot implicitly convert expression (t) of type TemplateStruct!(2) to TemplateStruct!(1) arst.d(19): Error: template instance arst.Super!(2) error instantiating The TemplateStruct in S seems to be referring to the first instantiation of Super in both instantiations, although the type should be different. Passing x to T makes it work. This also works in LDC, but not DMD (tried 1.043 and 1.045).

I'm bumping this to 'blocker' because it's preventing me from using DMD for my project.

This worked on 1.010, but did not work in 1.020. Bumping up to regression.

This works with current dmd (1.068 & 2.053)