[Issue 15070] New: Template is silently extracted from type and reinstantiated

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15070

          Issue ID: 15070
           Summary: Template is silently extracted from type and
                    reinstantiated
           Product: D
           Version: D2
          Hardware: All
               URL: http://forum.dlang.org/post/puelgpxgijdxvejsxwzy@forum
                    .dlang.org
                OS: All
            Status: NEW
          Keywords: accepts-invalid
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: dfj1esp02 at sneakemail.com

import std.stdio;
void main()
{
    Stuff!(Thing!float) s;
    writeln(typeid(s.var));
    writeln(typeid(s.var.varling));
    writeln(typeid(s));
    alias F=Thing!float;
    //F!int i; //doesn't compile
}
struct Stuff(T)
{
    T!int var;
}
struct Thing(T)
{
    T varling;
}

--