Bug 11187 – A small transitive const bug on struct copying
Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P2
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2013-10-06T23:38:00Z
Last change time
2013-10-07T17:09:26Z
Keywords
pull, rejects-valid
Assigned to
nobody
Creator
k.hara.pg
Comments
Comment #0 by k.hara.pg — 2013-10-06T23:38:55Z
The copy conversion from const S to S should work, because the field S.cx.arr has same qualified type const(int[]).
struct X
{
int[] arr;
}
struct S
{
const(X) cx;
}
void main()
{
static assert(is(typeof((const S).init.cx.arr) == const(int[])));
static assert(is(typeof(( S).init.cx.arr) == const(int[])));
const S sc;
S sm = sc; // fails, but should work
static assert(is(const S : S)); // fails, but should work
}