Trait std::marker::ConstParamTy

pub trait ConstParamTy: StructuralEq + StructuralPartialEq { }

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

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, 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 &Twhere T: ConstParamTy + ?Sized,

impl<T> ConstParamTy for [T]where 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,