To help LDC/GDC

[Daniel Murphy]

"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.