[][src]Trait type_vec::size::CheckIndexInclusive

pub trait CheckIndexInclusive<__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> CheckIndexInclusive<__TYP_GENERIC_0, __TYP_GENERIC_1> for () where
    __TYP_GENERIC_0: Size,
    __TYP_GENERIC_1: Size,
    <<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output: IsEqual<B1>,
    <() 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,
    (): 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>, 
[src]

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...