http://d.puremagic.com/issues/show_bug.cgi?id=8977
Summary: Ability to break typesystem with static struct initializer (e.g. modify immutable) Product: D Version: D2 Platform: All OS/Version: All Status: NEW Keywords: accepts-invalid Severity: critical Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: verylonglogin....@gmail.com --- Comment #0 from Denis Shelomovskij <verylonglogin....@gmail.com> 2012-11-08 16:07:36 MSK --- The problem is `S s = <qualifier> S(<args>);` always allowed even if `<qualifier> S` isn't implicitly convertible to `S`: --- struct S { int* p; } void main() { immutable int* p; S s = immutable S(p); assert(s.p is p); *s.p = 1; } --- -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------