Trait `ConstParamTy_`

pub trait ConstParamTy_: StructuralPartialEq + Eq

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 ()
impl ConstParamTy_ for Assume
impl ConstParamTy_ for AtomicOrdering
impl ConstParamTy_ for SimdAlign
impl ConstParamTy_ for bool
impl ConstParamTy_ for char
impl ConstParamTy_ for i128
impl ConstParamTy_ for i16
impl ConstParamTy_ for i32
impl ConstParamTy_ for i64
impl ConstParamTy_ for i8
impl ConstParamTy_ for isize
impl ConstParamTy_ for str
impl ConstParamTy_ for svpattern
impl ConstParamTy_ for svprfop
impl ConstParamTy_ for u128
impl ConstParamTy_ for u16
impl ConstParamTy_ for u32
impl ConstParamTy_ for u64
impl ConstParamTy_ for u8
impl ConstParamTy_ for usize
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_ + ?Sized> ConstParamTy_ for &T
impl<T: ConstParamTy_> ConstParamTy_ for (T,)
impl<T: ConstParamTy_> ConstParamTy_ for [T]
impl<T: ConstParamTy_, const N: usize> ConstParamTy_ for [T; N]
impl<U: ConstParamTy_, T: ConstParamTy_> ConstParamTy_ for (U, T)
impl<V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_> ConstParamTy_ for (V, U, T)
impl<W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_> ConstParamTy_ for (W, V, U, T)
impl<X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_> ConstParamTy_ for (X, W, V, U, T)
impl<Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_> ConstParamTy_ for (Y, X, W, V, U, T)
impl<Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_> ConstParamTy_ for (Z, Y, X, W, V, U, T)