Comment #0 by andrej.mitrovich — 2013-07-03T18:59:28Z
-----
struct S1
{
T get(T)() if (is(T == float)) { }
}
struct S2
{
auto get(alias value)()
{
return S1.get!(typeof(value));
}
}
struct S3
{
auto get(alias value)()
{
return get!(typeof(value));
}
T get(T)() if (is(T == float))
{
return T.init;
}
}
void main()
{
// Error: template instance get!int does not match template declaration get(T)() if (is(T == float))
S1.get!int;
// Error: template instance get!int does not match template declaration get(T)() if (is(T == float))
S2.get!1;
// Error: cannot resolve type for this.get!int
S3.get!1;
}
-----
Observations:
S2.get calls into S1.get, and creates a nice error message. However in S3 the get templates are overloaded against each other, and this causes the diagnostic to become bad. S3.get should have the same diagnostic as S2.get.
Comment #1 by robert.schadek — 2024-12-13T18:08:51Z