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

           Summary: array's invariant storage class dropped by a template
           Product: D
           Version: 2.014
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: marcin.wcislo@gmail.com


This snippet compiles correctly:

class Class {
    void foo(int[2] arg) {}
    void foo(invariant(int[2]) arg) {}
}

int main() {
    (new Class).foo([1, 1]);
    return 0;
}

(foo call is linked to foo(int[2]))

But this not:

class Class(T, int n) {
        void foo(T[n] arg) {}
        void foo(invariant(T[n]) arg) {}
}

int main() {
        (new Class!(int, 2)).foo([1, 1]);
        return 0;
}

error:
template.d(x): function template.Class!(int,2).Class.foo called with argument
types:
        (int[2u])
matches both:
        template.Class!(int,2).Class.foo(int[2u])
and:
        template.Class!(int,2).Class.foo(int[2u])


-- 

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


smjg@iname.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |smjg@iname.com
         OS/Version|Linux                       |All




------- Comment #1 from smjg@iname.com  2009-01-10 12:04 -------
That the compiler prints "x" instead of a line number is a bug indeed.  Are there others like this?  At least this one's been fixed (trying on 2.023 Win), unless it's Linux-specific.


-- 

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


yebblies <yebblies@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |yebblies@gmail.com
         Resolution|                            |FIXED


--- Comment #2 from yebblies <yebblies@gmail.com> 2011-06-10 06:44:27 PDT ---
Works correctly in dmd 2.053

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