Can we just have struct inheritence already?

[Manu]

On Thu, Jun 13, 2019 at 7:15 PM Walter Bright via Digitalmars-d
<digitalmars-d at puremagic.com> wrote:
>
> On 6/13/2019 5:35 PM, Timon Gehr wrote:
> > It is obvious that allocation has to be pure. However, accessing the address of
> > your data is impure. The runtime systems of pure functional languages also
> > allocate memory, but the addresses are not exposed to the pure user code.
>
> I know that technically you are correct, but I'm not so sure it matters for D's
> use of purity.

I mean, you've been arguing strict adherence to "@safe means memory
safe and nothing else", and explicitly rejecting common-sense in
favour of the definition...