Deprecating this(this)

[Nicholas Wilson]

On Sunday, 1 April 2018 at 14:34:01 UTC, ag0aep6g wrote:
> On Sunday, 1 April 2018 at 13:37:43 UTC, Jonathan M Davis wrote:
>> One issue is that postblit constructors fundamentally don't 
>> work with const. The problem is that a postblit constructor 
>> works by copying the object and _then_ mutating it, and you 
>> can't mutate a const object.
>
> I'm not so sure if that's fundamental. Can't we just say that 
> the copy is head-mutable at the time when the postblit function 
> is called, and it only becomes fully const after that?
>
> The destination can't be const/immutable already, or you 
> wouldn't be able to write there anyway.

Ah, you said it much better than I did.