Trait type_vec::size::CheckIndex

pub trait CheckIndex<__TYP_ARG_0, __TYP_ARG_1> where
    __TYP_ARG_0: Size,
    __TYP_ARG_1: Size, {
    type Output;
}

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl<__TYP_GENERIC_0, __TYP_GENERIC_1> CheckIndex<__TYP_GENERIC_0, __TYP_GENERIC_1> for () where
    (): __TYP_If_0<__TYP_GENERIC_0, __TYP_GENERIC_1, <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output> + IsDyn<__TYP_GENERIC_0> + IsDyn<__TYP_GENERIC_1>,
    <() as IsDyn<__TYP_GENERIC_0>>::Output: BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>,
    <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output: Bit,
    __TYP_GENERIC_0: Size,
    <<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output: IsEqual<B1>,
    __TYP_GENERIC_1: Size, 

type Output = <() as __TYP_If_0<__TYP_GENERIC_0, __TYP_GENERIC_1, <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output>>::Output

Loading content...

Implementors

Loading content...