pub unsafe trait ValueType: Copywhere
Self: Sized,{ }Expand description
Trait for a Value type. A Value type is a type that is always valid and may be safely copied.
That is, for all possible bit patterns a valid Value type can be constructed from those bits.
Concretely a u32 is a Value type because every combination of 32 bits is
a valid u32. However a bool is not a Value type because any bit patterns
other than 0 and 1 are invalid in Rust and may cause undefined behavior if
a bool is constructed from those bytes.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.