• d-bugmail puremagic.com (43/43) Sep 16 2012 http://d.puremagic.com/issues/show_bug.cgi?id=8670
• d-bugmail puremagic.com (12/12) Apr 08 2013 http://d.puremagic.com/issues/show_bug.cgi?id=8670

d-bugmail puremagic.com writes:

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 puremagic.com
        ReportedBy: kyfolee gmail.com



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: -------

d-bugmail puremagic.com writes:

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


Kenji Hara <k.hara.pg gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED



By fixing bug 9143, this issue is also fixed in 2.061 release.

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