[Issue 8670] New: IFTI fails from aliases

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=8670

           Summary: IFTI fails from aliases
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: kyfolee at gmail.com


--- Comment #0 from Kyle Foley <kyfolee at gmail.com> 2012-09-16 13:56:18 EDT ---
Based on latest DMD 2.061
Here is what I have reduced it to so far:

---

struct A(T, int N)
{
}

struct B(T, int N, int M)
{
    alias B!(T, N, 1) C;
}

alias B!(int, 2, 2) b_t;

void foo(T, int N)(in A!(T,N), in B!(T,N,1))
{
}

void main()
{
    A!(int,2) a;
    B!(int,2,1) b;

    foo(a, b);
}

---

.\ifti.d(21): Error: template ifti.foo does not match any function template
declaration
.\ifti.d(21): Error: template ifti.foo(T,int N) cannot deduce template function
from argument types !()(A!(int,2),B!(int,2,1))

---

Note: removing either alias will cause compile to succeed.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------