Another purity question

[Timon Gehr]

On 01/14/2014 08:50 PM, bearophile wrote:
> Currently D refuses code like this:
>
>
> void foo(const int[] a) {
>      int bar() pure {
>          return a[0];
>      }
> }
> void main() {}
>
>
> With two repeated error messages:
>
> test1.d(3): Error: pure nested function 'bar' cannot access mutable data
> 'a'
> test1.d(3): Error: pure nested function 'bar' cannot access mutable data
> 'a'
>
>
> But is it possible for D to see that bar function as pure?
>
> Bye,
> bearophile

Yes, it should.

https://d.puremagic.com/issues/show_bug.cgi?id=9148