pub trait Vertex { ... }

pub trait Shape<T: Vertex> { ... }

// the U definition feels redundant, and requires a marker even though it is used.
pub struct VertexObject<T: Shape<U>, U: Vertex> {
  ...,
  items: Vec<T>,
  __unused_u: PhantomData<U>
}