Trait deranged::traits::NarrowIsValid

pub(crate) trait NarrowIsValid {
    const ASSERT: ();
}

Required Associated Constants

const ASSERT: ()

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<const CURRENT_MIN: i8, const CURRENT_MAX: i8, const NEW_MIN: i8, const NEW_MAX: i8> NarrowIsValid for (RangedI8<CURRENT_MIN, CURRENT_MAX>, RangedI8<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: i16, const CURRENT_MAX: i16, const NEW_MIN: i16, const NEW_MAX: i16> NarrowIsValid for (RangedI16<CURRENT_MIN, CURRENT_MAX>, RangedI16<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: i32, const CURRENT_MAX: i32, const NEW_MIN: i32, const NEW_MAX: i32> NarrowIsValid for (RangedI32<CURRENT_MIN, CURRENT_MAX>, RangedI32<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: i64, const CURRENT_MAX: i64, const NEW_MIN: i64, const NEW_MAX: i64> NarrowIsValid for (RangedI64<CURRENT_MIN, CURRENT_MAX>, RangedI64<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: i128, const CURRENT_MAX: i128, const NEW_MIN: i128, const NEW_MAX: i128> NarrowIsValid for (RangedI128<CURRENT_MIN, CURRENT_MAX>, RangedI128<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: isize, const CURRENT_MAX: isize, const NEW_MIN: isize, const NEW_MAX: isize> NarrowIsValid for (RangedIsize<CURRENT_MIN, CURRENT_MAX>, RangedIsize<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: u8, const CURRENT_MAX: u8, const NEW_MIN: u8, const NEW_MAX: u8> NarrowIsValid for (RangedU8<CURRENT_MIN, CURRENT_MAX>, RangedU8<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: u16, const CURRENT_MAX: u16, const NEW_MIN: u16, const NEW_MAX: u16> NarrowIsValid for (RangedU16<CURRENT_MIN, CURRENT_MAX>, RangedU16<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: u32, const CURRENT_MAX: u32, const NEW_MIN: u32, const NEW_MAX: u32> NarrowIsValid for (RangedU32<CURRENT_MIN, CURRENT_MAX>, RangedU32<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: u64, const CURRENT_MAX: u64, const NEW_MIN: u64, const NEW_MAX: u64> NarrowIsValid for (RangedU64<CURRENT_MIN, CURRENT_MAX>, RangedU64<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: u128, const CURRENT_MAX: u128, const NEW_MIN: u128, const NEW_MAX: u128> NarrowIsValid for (RangedU128<CURRENT_MIN, CURRENT_MAX>, RangedU128<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

impl<const CURRENT_MIN: usize, const CURRENT_MAX: usize, const NEW_MIN: usize, const NEW_MAX: usize> NarrowIsValid for (RangedUsize<CURRENT_MIN, CURRENT_MAX>, RangedUsize<NEW_MIN, NEW_MAX>)

const ASSERT: () = _

Implementors