Bug 18769 – Cannot infer template parameters for aliased types
Status
RESOLVED
Resolution
DUPLICATE
Severity
major
Priority
P3
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2018-04-17T09:17:02Z
Last change time
2018-04-17T16:07:11Z
Assigned to
No Owner
Creator
Eyal
Comments
Comment #0 by eyal — 2018-04-17T09:17:02Z
Example code:
struct S(A) {}
alias T(A) = S!A;
// OK:
void withS(A)(S!A x) {}
withS(S!int());
// "foo cannot deduce function from argument types":
void withT(A)(T!A x) {}
withT(S!int());
Aliases in parameter types should be expanded (symbolically) before inferring.
Comment #1 by ag0aep6g — 2018-04-17T16:07:11Z
*** This issue has been marked as a duplicate of issue 10884 ***