digitalmars.D.bugs - [Issue 2410] New: array's invariant storage class dropped by a template
- d-bugmail puremagic.com (41/41) Oct 09 2008 http://d.puremagic.com/issues/show_bug.cgi?id=2410
- d-bugmail puremagic.com (11/11) Jan 10 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2410
- d-bugmail puremagic.com (12/12) Jun 10 2011 http://d.puremagic.com/issues/show_bug.cgi?id=2410
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]) --
Oct 09 2008
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 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. --
Jan 10 2009
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 Works correctly in dmd 2.053 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 10 2011