preparing for const, final, and invariant

[Manfred Nowak]

Walter Bright wrote

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

The `.dup'ing an array where a cell contains a reference to the array 
is allowed too?

alias void* T;
T[] a;
void main(){
  T[] g; g.length= 1;
  g[0]=&g;
  void f( in T[] p){
    a= p.dup;
  }
}

That would contradict the given rule.

-manfred