pub trait DimNameAdd<D: DimName>: DimName { type Output: DimName; fn add(self, other: D) -> Self::Output; }