better_generic_array_trait_bounds.rs

impl<T: Clone + Scalar + Float + From<f64>, A, B> GjkExt<B> for A
    where A: SupportMapping<Scalar = T>,
          B: SupportMapping<Scalar = T, Dims = A::Dims>,
          A::Dims: Size<T>,
          <A::Dims as Dim>::Succ: Size<Vect<T, A::Dims>> + Size<Point<T, A::Dims>> + DimMul<<A::Dims as Dim>::Succ>,
          <<A::Dims as Dim>::Succ as DimMul<<A::Dims as Dim>::Succ>>::Result: Size<T>,
          I: DimShl<<A::Dims as Dim>::Succ>,
          <I as DimShl<<A::Dims as Dim>::Succ>>::Result: DimMul<<A::Dims as Dim>::Succ>,
          <<I as DimShl<<A::Dims as Dim>::Succ>>::Result as DimMul<<A::Dims as Dim>::Succ>>::Result: Size<T>
{
  // ...
}

impl<T: Clone + Scalar + Float + From<f64>, A, B> GjkExt<B> for A
    where A: SupportMapping<Scalar = T>,
          B: SupportMapping<Scalar = T, Dims = A::Dims>
{
  // ...
}