Can we just have struct inheritence already?

[ag0aep6g]

On 11.06.19 13:03, Walter Bright wrote:
> D defines @safe as "memory safe". It does not define it as "no undefined 
> behavior".

The spec very much defines @safe as "no undefined behavior".

<https://dlang.org/spec/function.html#function-safety>: "Safe functions 
are functions that are statically checked to exhibit no possibility of 
undefined behavior."