← Back to index | Original Bugzilla link

Bug 7208 – Unique arrays should be covariant

Status
REOPENED
Severity
enhancement
Priority
P4
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2012-01-02T22:02:21Z
Last change time
2024-12-13T17:57:33Z
Assigned to
No Owner
Creator
timon.gehr
Moved to GitHub: dmd#18394 →

Comments

Comment #0 by timon.gehr — 2012-01-02T22:02:21Z
class A{} void foo(Object[]){} A[] bar()pure{return new A[16];} void main(){ foo([new A]); // error foo(new A[16]); // error foo(bar()); // error } The code should compile.
Comment #1 by issues.dlang — 2012-01-02T22:12:49Z
Wouldn't this just reintroduce bug# 2095?
Comment #2 by timon.gehr — 2012-01-02T22:14:18Z
No. There is no issue if the array is provable unique.
Comment #3 by timon.gehr — 2012-01-19T02:02:05Z
foo([new A]) seems to work now with DMD 2.057.
Comment #4 by maxhaton — 2021-01-24T06:49:06Z
Spec/DIP problem these days
Comment #5 by robert.schadek — 2024-12-13T17:57:33Z
THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18394 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB