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: [email protected]
Reporter: [email protected]
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)
}
--
