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