[Issue 8956] Ability to break typesystem with constructor/postblit/destructor (e.g. modify immutable)

[d-bugmail at puremagic.com]

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


Stewart Gordon <smjg at iname.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
                 CC|                            |smjg at iname.com
             Blocks|                            |2573


--- Comment #2 from Stewart Gordon <smjg at iname.com> 2012-11-04 16:52:41 PST ---
this(int* i) has no const/immutable qualifier.  As such, if I remember
correctly, the compiler should not be allowing it to be used to construct an
immutable instance.  In any case, it's a bug that it accepts the call to it to
construct an immutable without having first checked that it's still valid when
the this pointer is immutable.

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