Yes, that's what I'm talking about. It does expand on the empty base object optimization, though it is still not fully generic.

But you can now have multiple zero-sized types as siblings in a struct or class that can be zero-sized, the restriction is that they do have to be different types.