Trait CheckIndex 

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

Required Associated Types

type Output

Implementations on Foreign Types

impl<__TYP_GENERIC_0, __TYP_GENERIC_1> CheckIndex<__TYP_GENERIC_0, __TYP_GENERIC_1> for ()

where <() 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: IsEqual<B1>, (): IsDyn<__TYP_GENERIC_1> + __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>, <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output: Bit, __TYP_GENERIC_0: Size, __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

Implementors