[Issue 12725] New: IFTI should consider instantiated types with dependent template parameters

[via Digitalmars-d-bugs]

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

          Issue ID: 12725
           Summary: IFTI should consider instantiated types with dependent
                    template parameters
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P1
         Component: DMD
          Assignee: nobody at puremagic.com
          Reporter: k.hara.pg at gmail.com

This code should compile, but doesn't.

struct R(R : E[], E)
{
}

int begin(F)(R!(F) range)
{
    return 0;
}

void main()
{
    R!(int[], int) r;
    auto i = begin(r);  // R!(int[], int) should match to R!(F)
}

--