Menu
Search

Forums

Forum Index

Thread overview
[Issue 23780] Manual __ctor call can mutate immutable object in @safe code
Mar 15, 2023
Paul Backus
Mar 15, 2023
RazvanN
Oct 29, 2023
Paul Backus
March 15, 2023
Gravatar of Paul BackusPosted by Paul BackusReply
Paul Backus
Gravatar of Paul Backus


Reply
https://issues.dlang.org/show_bug.cgi?id=23780

Paul Backus <snarwin+bugzilla@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid, safe

--
March 15, 2023
Gravatar of RazvanNPosted by RazvanNReply
RazvanN
Gravatar of RazvanN


Reply
https://issues.dlang.org/show_bug.cgi?id=23780

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |razvan.nitu1305@gmail.com

--- Comment #1 from RazvanN <razvan.nitu1305@gmail.com> ---
Yes, manually calling __ctor in @safe code should be disabled.

--
October 29, 2023
Gravatar of Paul BackusPosted by Paul BackusReply
Paul Backus
Gravatar of Paul Backus


Reply
https://issues.dlang.org/show_bug.cgi?id=23780

--- Comment #2 from Paul Backus <snarwin+bugzilla@gmail.com> ---
Unfortunately this will probably be tricky to fix, because a lot of valid code gets lowered to `obj.__ctor` internally by the DMD frontend.

--