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

           Summary: Template function argument binding is too restrictive
                    wrt qualifiers
           Product: D
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: andrei@metalanguage.com


This code won't compile:

void foo(Idx)(Idx a, Idx b) {}

void main(string[] args)
{
    uint x;
    invariant uint y;
    foo(x, y);
}

I think it should.


-- 

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





------- Comment #1 from brunodomedeiros+bugz@gmail.com  2008-05-28 16:18 -------
What would typeof(Idx) be in that instantiation? const(uint)?


-- 

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





------- Comment #2 from bugzilla@digitalmars.com  2008-06-15 20:43 -------
I agree with Bruno, I don't know what rule to use to accept this.


-- 

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


Simen Kjaeraas <simen.kjaras@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dsimcha@yahoo.com


--- Comment #3 from Simen Kjaeraas <simen.kjaras@gmail.com> 2011-03-15 10:21:31 PDT ---
*** Issue 2594 has been marked as a duplicate of this issue. ***

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

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


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement


--- Comment #4 from Don <clugdbug@yahoo.com.au> 2012-11-12 07:35:28 PST ---
Changing to enhancement.

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