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