Bug 12725 – IFTI should consider instantiated types with dependent template parameters
Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P1
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2014-05-09T18:36:00Z
Last change time
2014-05-09T22:40:57Z
Keywords
pull, rejects-valid
Assigned to
nobody
Creator
k.hara.pg
Comments
Comment #0 by k.hara.pg — 2014-05-09T18:36:55Z
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)
}