Can we just have struct inheritence already?

[Walter Bright]

On 6/12/2019 5:18 PM, Timon Gehr wrote:
> Undefined values are not undefined behavior.

I think that is the salient point. You're right.


> However, there are potential problems, based on which properties you want to 
> assume that strongly pure functions have:
> 
> int foo()@safe pure{
>      int x=void;
>      return x;
> }
> 
> Any code that is optimized based on the assumption that `foo()` will always 
> return the same value will have undefined behavior, including the possibility of 
> buffer overflows or dangling pointers.

Optimizing it means caching the returned value. I don't see how that can lead to 
undefined behavior.