Trait ConstParamTy_

pub trait ConstParamTy_:
    UnsizedConstParamTy
    + StructuralPartialEq
    + Eq { }

🔬This is a nightly-only experimental API. (unsized_const_params #95174)

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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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<A, Z, Y, X, W, V, U, T> ConstParamTy_ for (A, Z, Y, X, W, V, U, T)

where A: ConstParamTy_, Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<B, A, Z, Y, X, W, V, U, T> ConstParamTy_ for (B, A, Z, Y, X, W, V, U, T)

where B: ConstParamTy_, A: ConstParamTy_, Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<C, B, A, Z, Y, X, W, V, U, T> ConstParamTy_ for (C, B, A, Z, Y, X, W, V, U, T)

where C: ConstParamTy_, B: ConstParamTy_, A: ConstParamTy_, Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<D, C, B, A, Z, Y, X, W, V, U, T> ConstParamTy_ for (D, C, B, A, Z, Y, X, W, V, U, T)

where D: ConstParamTy_, C: ConstParamTy_, B: ConstParamTy_, A: ConstParamTy_, Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<E, D, C, B, A, Z, Y, X, W, V, U, T> ConstParamTy_ for (E, D, C, B, A, Z, Y, X, W, V, U, T)

where E: ConstParamTy_, D: ConstParamTy_, C: ConstParamTy_, B: ConstParamTy_, A: ConstParamTy_, Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<T> ConstParamTy_ for (T₁, T₂, …, Tₙ)

where T: ConstParamTy_,

This trait is implemented for tuples up to twelve items long.

impl<T, const N: usize> ConstParamTy_ for [T; N]

where T: ConstParamTy_,

impl<U, T> ConstParamTy_ for (U, T)

where U: ConstParamTy_, T: ConstParamTy_,

impl<V, U, T> ConstParamTy_ for (V, U, T)

where V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<W, V, U, T> ConstParamTy_ for (W, V, U, T)

where W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<X, W, V, U, T> ConstParamTy_ for (X, W, V, U, T)

where X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<Y, X, W, V, U, T> ConstParamTy_ for (Y, X, W, V, U, T)

where Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,

impl<Z, Y, X, W, V, U, T> ConstParamTy_ for (Z, Y, X, W, V, U, T)

where Z: ConstParamTy_, Y: ConstParamTy_, X: ConstParamTy_, W: ConstParamTy_, V: ConstParamTy_, U: ConstParamTy_, T: ConstParamTy_,