Can we just have struct inheritence already?

[Walter Bright]

On 6/13/2019 4:27 AM, Timon Gehr wrote:
> E.g., in principle, an optimizer can end up caching the result of the bounds 
> check but not the result of the function call for something like 
> a[foo()]+a[foo()]. (The particular example could be more involved, the point is 
> that it is possible that the optimizer only partially applies the available 
> information.)

I see the principle, but in practice when a compiler sees a common 
subexpression, it replaces it with a temporary initialized with the first instance.