Adding a new design constraint to D

[Ola Fosheim Grøstad]

On Thursday, 16 June 2022 at 12:02:17 UTC, forkit wrote:
> I cannot answer the question as to whether allowing a class to 
> have members that are private to the class, would have a 
> negative impact on metaprogramming in D.
>
> If someone is saying that it will, then .. can they please 
> explain how and why that would be, so we can all understand?

If you can detect it, then it is a breaking change in the context 
of meta-programming.

It is up to you to prove in your DIP that it cannot be detected 
if you claim that it is a non-breaking change.