1// The implementation of `empty` is already present in `records/small_vector.rs`. 2// To avoid duplicate definition errors, we do not define it here.