Rust's vtable design ensures that ordinary structs do not increase in size simply because they might be used as trait objects, consistent with the zero-cost abstraction philosophy.