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_ for (Tโ, Tโ, โฆ, Tโ)where
T: ConstParamTy_,
This trait is implemented for tuples up to twelve items long.