preparing for const, final, and invariant

[Walter Bright]

Frank Benoit wrote:
> int[] g;
> void foo(in int[] a){
>     g = a.dup;    // allowed?
> }

Yes.