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