• via Digitalmars-d-bugs (37/37) Jul 10 2014 https://issues.dlang.org/show_bug.cgi?id=13090

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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

          Issue ID: 13090
           Summary: Type inferring fails at function parameters with
                    parameterized alias
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P1
         Component: DMD
          Assignee: nobody puremagic.com
          Reporter: NCrashed gmail.com

```
import std.stdio;

alias vec3(E) = Vec!(E, 3);

struct Vec(E, size_t n)
{
    E[n] elements;
}

void foo(E)(vec3!E v)
//void foo(E)(Vec!(E, 3) v) that compiles
{

}

void main()
{
    foo(vec3!float([1, 2, 3]));
}
```

Compilation error:
```
source/app.d(18): Error: template app.foo cannot deduce function from argument
types !()(Vec!(float, 3LU)), candidates are:
source/app.d(10):        app.foo(E)(vec3!E v)
```

--