To help LDC/GDC

[deadalnix]

On Tuesday, 9 April 2013 at 10:57:20 UTC, Daniel Murphy wrote:
> "deadalnix" <deadalnix at gmail.com> wrote in message
> news:yhvwbephdechjxvrkyal at forum.dlang.org...
>>
>> 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).