• d-bugmail puremagic.com (25/25) Apr 17 2018 https://issues.dlang.org/show_bug.cgi?id=18769

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=18769

          Issue ID: 18769
           Summary: Cannot infer template parameters for aliased types
           Product: D
           Version: D2
          Hardware: All
               URL: http://dlang.org/
                OS: All
            Status: NEW
          Severity: major
          Priority: P3
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: eyal weka.io

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.

--