Trait core::marker::ConstParamTy
source · pub trait ConstParamTy: StructuralEq + StructuralPartialEq + Eq { }🔬This is a nightly-only experimental API. (
adt_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.
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 str
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]
impl<T: ConstParamTy> ConstParamTy for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.