[Issue 10035] New: Rebindable does not work with CTFE

[d-bugmail at puremagic.com]

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

           Summary: Rebindable does not work with CTFE
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: jmdavisProg at gmx.com


--- Comment #0 from Jonathan M Davis <jmdavisProg at gmx.com> 2013-05-05 16:15:27 PDT ---
This code does not yet compile:

import std.typecons;

class C {}

struct S
{
    Rebindable!(immutable C) c = new immutable(C);
}

void main() {}

Rather, it gives this error:

q.d(7): Error: Unions with overlapping fields are not yet supported in CTFE
q.d(7): Error: Unions with overlapping fields are not yet supported in CTFE

Rebindable uses a union

            private union
            {
                T original;
                U stripped;
            }

where U is T Except that U is fully mutable where T is const or immutable.
According to Don, supporting this in CTFE should be quite straightforward. And
now that we can create immutable classes during CTFE and then use them at
runtime, with this enhancement, I'll be able to default-initialize SysTime's
timezone field (which is a Rebindable!(immutable TimeZone)) and make
SysTime.init valid to use.

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