Trait AlwaysValid

pub unsafe trait AlwaysValid { }

Types for which all possible bit patterns represent a valid value.

Note that MaybeUninit<T> and [T; 0] both implement this marker trait even when T does not.

This trait is safely derivable with #[derive(AlwaysValid)] when the derive feature is enabled.

Safety

It is undefined behaviour to implement this trait for any type for which it exists a bit pattern that doesn’t represent a valid value.

Implementations on Foreign Types

impl AlwaysValid for i8

impl AlwaysValid for i16

impl AlwaysValid for i32

impl AlwaysValid for i64

impl AlwaysValid for i128

impl AlwaysValid for isize

impl AlwaysValid for u8

impl AlwaysValid for u16

impl AlwaysValid for u32

impl AlwaysValid for u64

impl AlwaysValid for u128

impl AlwaysValid for ()

impl AlwaysValid for usize

impl<A> AlwaysValid for (A,)

where A: AlwaysValid,

impl<A, B> AlwaysValid for (A, B)

where A: AlwaysValid, B: AlwaysValid,

impl<A, B, C> AlwaysValid for (A, B, C)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid,

impl<A, B, C, D> AlwaysValid for (A, B, C, D)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid,

impl<A, B, C, D, E> AlwaysValid for (A, B, C, D, E)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid,

impl<A, B, C, D, E, F> AlwaysValid for (A, B, C, D, E, F)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid,

impl<A, B, C, D, E, F, G> AlwaysValid for (A, B, C, D, E, F, G)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid, G: AlwaysValid,

impl<A, B, C, D, E, F, G, H> AlwaysValid for (A, B, C, D, E, F, G, H)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid, G: AlwaysValid, H: AlwaysValid,

impl<A, B, C, D, E, F, G, H, I> AlwaysValid for (A, B, C, D, E, F, G, H, I)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid, G: AlwaysValid, H: AlwaysValid, I: AlwaysValid,

impl<A, B, C, D, E, F, G, H, I, J> AlwaysValid for (A, B, C, D, E, F, G, H, I, J)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid, G: AlwaysValid, H: AlwaysValid, I: AlwaysValid, J: AlwaysValid,

impl<A, B, C, D, E, F, G, H, I, J, K> AlwaysValid for (A, B, C, D, E, F, G, H, I, J, K)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid, G: AlwaysValid, H: AlwaysValid, I: AlwaysValid, J: AlwaysValid, K: AlwaysValid,

impl<A, B, C, D, E, F, G, H, I, J, K, L> AlwaysValid for (A, B, C, D, E, F, G, H, I, J, K, L)

where A: AlwaysValid, B: AlwaysValid, C: AlwaysValid, D: AlwaysValid, E: AlwaysValid, F: AlwaysValid, G: AlwaysValid, H: AlwaysValid, I: AlwaysValid, J: AlwaysValid, K: AlwaysValid, L: AlwaysValid,

impl<T> AlwaysValid for [T; 0]

impl<T> AlwaysValid for [T; 1]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 2]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 3]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 4]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 5]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 6]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 7]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 8]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 9]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 10]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 11]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 12]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 13]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 14]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 15]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 16]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 17]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 18]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 19]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 20]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 21]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 22]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 23]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 24]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 25]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 26]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 27]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 28]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 29]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 30]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 31]

where T: AlwaysValid,

impl<T> AlwaysValid for [T; 32]

where T: AlwaysValid,

impl<T> AlwaysValid for Cell<T>

where T: AlwaysValid,

impl<T> AlwaysValid for UnsafeCell<T>

where T: AlwaysValid,

impl<T> AlwaysValid for ManuallyDrop<T>

where T: AlwaysValid,

impl<T> AlwaysValid for MaybeUninit<T>

Implementors

impl AlwaysValid for PackedI16

impl AlwaysValid for PackedI32

impl AlwaysValid for PackedI64

impl AlwaysValid for PackedI128

impl AlwaysValid for PackedIsize

impl AlwaysValid for PackedU16

impl AlwaysValid for PackedU32

impl AlwaysValid for PackedU64

impl AlwaysValid for PackedU128

impl AlwaysValid for PackedUsize