Trait core::marker::ConstParamTy_
source · pub trait ConstParamTy_:
UnsizedConstParamTy
+ StructuralPartialEq
+ Eq { }
🔬This is a nightly-only experimental API. (
unsized_const_params
#95174)Expand description
A marker for types which can be used as types of const
generic parameters.
These types must have a proper equivalence relation (Eq
) and it must be automatically
derived (StructuralPartialEq
). There’s a hard-coded check in the compiler ensuring
that all fields are also ConstParamTy
, which implies that recursively, all fields
are StructuralPartialEq
.
Object Safety§
This trait is not object safe.
Implementors§
impl ConstParamTy_ for bool
impl ConstParamTy_ for char
impl ConstParamTy_ for i8
impl ConstParamTy_ for i16
impl ConstParamTy_ for i32
impl ConstParamTy_ for i64
impl ConstParamTy_ for i128
impl ConstParamTy_ for isize
impl ConstParamTy_ for u8
impl ConstParamTy_ for u16
impl ConstParamTy_ for u32
impl ConstParamTy_ for u64
impl ConstParamTy_ for u128
impl ConstParamTy_ for ()
impl ConstParamTy_ for usize
impl ConstParamTy_ for Assume
impl<T: ConstParamTy_> ConstParamTy_ for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.