DIP53 and DIP49 (ver2) - New definitions for qualified constructors and postblits

[Joseph Rushton Wakeling]

On 18/12/13 16:59, Timon Gehr wrote:
> It will be used to annotate a postblit that requires all fields with
> indirections to be re-initialized with freshly allocated data instead of a
> postblit that is used during copying of a const object. (There will be no way to
> define such a const postblit, because the DIP assumes this to be useless.)

Not sure I see the difference here with the existing different cases of const 
attached to a variable vs. const attached to a method.  The meanings are subtly 
different but the analogy is helpful.