Trait core::marker::ConstParamTy
source · pub trait ConstParamTy: StructuralEq + StructuralPartialEq { }
🔬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.
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<A: ConstParamTy, Z: ConstParamTy, Y: ConstParamTy, X: ConstParamTy, W: ConstParamTy, V: ConstParamTy, U: ConstParamTy, T: ConstParamTy> ConstParamTy for (A, Z, Y, X, W, V, U, T)
impl<B: ConstParamTy, A: ConstParamTy, Z: ConstParamTy, Y: ConstParamTy, X: ConstParamTy, W: ConstParamTy, V: ConstParamTy, U: ConstParamTy, T: ConstParamTy> ConstParamTy for (B, A, Z, Y, X, W, V, U, T)
impl<C: ConstParamTy, B: ConstParamTy, A: ConstParamTy, Z: ConstParamTy, Y: ConstParamTy, X: ConstParamTy, W: ConstParamTy, V: ConstParamTy, U: ConstParamTy, T: ConstParamTy> ConstParamTy for (C, B, A, Z, Y, X, W, V, U, T)
impl<D: ConstParamTy, C: ConstParamTy, B: ConstParamTy, A: ConstParamTy, Z: ConstParamTy, Y: ConstParamTy, X: ConstParamTy, W: ConstParamTy, V: ConstParamTy, U: ConstParamTy, T: ConstParamTy> ConstParamTy for (D, C, B, A, Z, Y, X, W, V, U, T)
impl<E: ConstParamTy, D: ConstParamTy, C: ConstParamTy, B: ConstParamTy, A: ConstParamTy, Z: ConstParamTy, Y: ConstParamTy, X: ConstParamTy, W: ConstParamTy, V: ConstParamTy, U: ConstParamTy, T: ConstParamTy> ConstParamTy for (E, D, C, B, A, Z, Y, X, W, V, U, T)
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.