Adding a new design constraint to D

[Max Samukha]

On Tuesday, 14 June 2022 at 16:57:34 UTC, Paul Backus wrote:

>
> `alias this` is a weird special case. It doesn't really behave 
> like anything else in the language. You probably shouldn't draw 
> any broad conclusions based on the behavior of `alias this`.

In this simple case scoping rules should be exactly the same as 
those for class inheritance. Otherwise, we failed (or D is 
fundamentally incompatible with the way I think).