On Tuesday, 9 April 2013 at 10:57:20 UTC, Daniel Murphy wrote:
"deadalnix" <[email protected]> wrote in message
news:[email protected]...
No, D have holes in its type system and so can't ensure
anything. It has been show many many many times, especially by
Timon and myself, and I'm kind of fed up to have to repeat
that again and again, especiallt since fix proposal have
recieved no attention at all.
Stop claiming that such possibility exists, or take a serious
look at how to really ensure it.
The const/pure etc systems are based on certain guarantees, and
places where
they can be broken are bugs. These bugs DO NOT change what
optimization
opportunities are allowed by the original guarantees. Stop
claiming they
do.
Right now it isn't bugs as it is how thing are defined. And will
be as long as no DIP solving this issue is accepted (at which
point it will become a bug).
