Can we just have struct inheritence already?

[Nick Sabalausky (Abscissa)]

On 6/10/19 12:03 AM, Nicholas Wilson wrote:
> On Monday, 10 June 2019 at 03:08:26 UTC, Walter Bright wrote:
>> On 6/9/2019 12:40 PM, Vladimir Panteleev wrote:
>>> Structs are always at least 1 byte in size, even when they contain no 
>>> fields. This causes unnecessary bloat for reasons that I never 
>>> understood.
>>
>>
>> The reason is so that each struct instance is at a unique address.
>>
>> There are some rules in C++ where sometimes a struct with no fields 
>> occupies 1 byte, sometimes 0 bytes. I don't recall what they are at 
>> the moment.
> 
> There is a (proposal?) for a no unique address attribute to disappear 
> the address of structs the take up no room.

Would it really be a problem for the addresses of zero-byte structs to 
just simply be null?