Issue 9148

[Xinok via Digitalmars-d]

On Saturday, 26 April 2014 at 01:57:06 UTC, bearophile wrote:
> This is one of the largest problems left in the implementation 
> of D purity:
>
> https://issues.dlang.org/show_bug.cgi?id=9148
>
> One example of the refused code:
>
>
> void foo(const int[] a) {
>     int bar() pure {
>         return a[0];
>     }
> }
> void main() {}
>
>
> Bye,
> bearophile

I think this would break the D conventions of purity. 'a' is not 
immutable, only const, meaning one or more elements could change, 
making 'bar' impure.