Should modifying private members be @system?

[Paul Backus]

On Friday, 4 October 2019 at 11:55:11 UTC, Dennis wrote:
> I'm tossing the idea that __traits(getMembers) should be 
> @system when it's bypassing visibility constraints of the 
> member. What do you think?

A new post on the ACM SIGPLAN blog makes a convincing argument 
that correct enforcement of data visibility constraints is 
essential for allowing programmers to create safe interfaces 
using unsafe language features:

https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/