Can we just have struct inheritence already?

[ag0aep6g]

On 13.06.19 09:27, Walter Bright wrote:
> On 6/11/2019 7:37 AM, ag0aep6g wrote:
>> 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."
> 
> The spec's wrong, because it doesn't do that.

So the spec needs an addendum?

Surely it's correct that @safe code can't be allowed to exhibit 
undefined behavior. What else do we have to disallow? How can one 
corrupt memory without relying on undefined behavior?