preparing for const, final, and invariant

[Frank Benoit]

int[] g;
void foo(in int[] a){
    g = a.dup;    // allowed?
}