DIP49 - Define qualified postblit

[Daniel Davidson]

On Sunday, 10 November 2013 at 06:46:47 UTC, Kenji Hara wrote:
> http://wiki.dlang.org/DIP49
>
> Experimental compiler/druntime patches (WIP, 80% completed):
> https://github.com/9rnsr/dmd/tree/qual_pblit
> https://github.com/9rnsr/druntime/tree/qual_pblit
>
> Kenji Hara

Does the analysis hold up the same if the type held in the array 
itself has mutable aliasing?

struct T { int[] i; }
struct S { T[] t; }

Also, does it hold up with associative arrays?

struct S { string[string] aa; }

With this design, is there no need then for struct constructors - 
or would this be orthogonal or in addition to those?

Thanks
Dan