`restricted` member variables

[user1234]

On Monday, 20 June 2022 at 11:16:40 UTC, deadalnix wrote:
> On Monday, 20 June 2022 at 11:04:16 UTC, Mike Parker wrote:
>> Destroy!
>
> The simple way out of this is that, if it touches thee class's 
> privates parts, it ought to run the invariant checks.

yes, +1. The fact that invariants are currently not called can be 
seen as a bug. The bug fix is to call them, not to create a new 
syntax.