Trait creusot_contracts::std::marker::UnsizedConstParamTy
source · pub trait UnsizedConstParamTy: StructuralPartialEq + Eq { }
🔬This is a nightly-only experimental API. (
unsized_const_params
)Expand description
A marker for types which can be used as types of const
generic parameters.
Equivalent to ConstParamTy_
except that this is used by
the unsized_const_params
to allow for fake unstable impls.
Object Safety§
This trait is not object safe.
Implementors§
impl UnsizedConstParamTy for bool
impl UnsizedConstParamTy for char
impl UnsizedConstParamTy for i8
impl UnsizedConstParamTy for i16
impl UnsizedConstParamTy for i32
impl UnsizedConstParamTy for i64
impl UnsizedConstParamTy for i128
impl UnsizedConstParamTy for isize
impl UnsizedConstParamTy for str
impl UnsizedConstParamTy for u8
impl UnsizedConstParamTy for u16
impl UnsizedConstParamTy for u32
impl UnsizedConstParamTy for u64
impl UnsizedConstParamTy for u128
impl UnsizedConstParamTy for ()
impl UnsizedConstParamTy for usize
impl UnsizedConstParamTy for Assume
impl<T> UnsizedConstParamTy for &Twhere
T: UnsizedConstParamTy + ?Sized,
impl<T> UnsizedConstParamTy for [T]where
T: UnsizedConstParamTy,
impl<T> UnsizedConstParamTy for (T₁, T₂, …, Tₙ)where
T: UnsizedConstParamTy,
This trait is implemented for tuples up to twelve items long.