http://d.puremagic.com/issues/show_bug.cgi?id=10368
Summary: `immutable pure` constructors must not be allowed for
mutable construction
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Keywords: accepts-invalid, spec
Severity: critical
Priority: P2
Component: DMD
AssignedTo: [email protected]
ReportedBy: [email protected]
--- Comment #0 from Denis Shelomovskij <[email protected]> 2013-06-16
00:54:04 MSD ---
As `pure` functions can access `immutable` static data `immutable pure`
constructors must not be allowed for mutable construction.
So this code must be rejected:
---
immutable int i;
class C
{
int* p;
this() immutable pure
{ p = &i; }
}
void main()
{
++*new C().p; // changes `i`
}
---
Current behaviour is already documented (dlang.org pull #317) so specs have to
be changed too.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
