> A type has a contiguous object representation and a subset, possibly non-contiguous, value representation.

So how would virtual bases fit into this model?