digitalmars.D.bugs - [Issue 12725] New: IFTI should consider instantiated types with
- via Digitalmars-d-bugs (29/29) May 09 2014 https://issues.dlang.org/show_bug.cgi?id=12725
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 puremagic.com Reporter: k.hara.pg 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) } --
May 09 2014