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