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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

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

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

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