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

           Summary: const IFTI fails sometimes with more than one parameter
           Product: D
           Version: 2.015
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Keywords: rejects-valid
          Severity: major
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: schveiguy@yahoo.com


Given the code

const(T)[] f(T)(const(T)[] v1, const(T)[] v2){return v1;}
const(T)[] f2(T)(const(T)[] v1){return v1;}
void main()
{
    char[] a, b;
    const(char)[] a2, b2;

    f(a, b); // OK
    f(a2, b2); // Error (see below)
    f2(a); // OK
    f2(a2); // OK
}

the error that is encountered on f(a2, b2) is:
testconst.d(9): template testconst.f(T) does not match any function template
declaration
testconst.d(9): template testconst.f(T) cannot deduce template function from
argument types !()(const(char)[],const(char)[])

This also appears to fail on 2.008 and 2.012


-- 

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





------- Comment #1 from schveiguy@yahoo.com  2008-07-08 13:26 -------
Forgot to mention.  This worked on 2.007


-- 

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


benoit@tionex.de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |blocker




------- Comment #2 from benoit@tionex.de  2008-07-28 16:49 -------
This one is actually blocking development of the tango D2 branch.


-- 

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


bugzilla@digitalmars.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE




------- Comment #3 from bugzilla@digitalmars.com  2008-08-13 17:21 -------


*** This bug has been marked as a duplicate of 1644 ***


--