Trait UnsizedConstParamTy

pub trait 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.

Equivalent to ConstParamTy_ except that this is used by the unsized_const_params to allow for fake unstable impls.

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 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<A: UnsizedConstParamTy, Z: UnsizedConstParamTy, Y: UnsizedConstParamTy, X: UnsizedConstParamTy, W: UnsizedConstParamTy, V: UnsizedConstParamTy, U: UnsizedConstParamTy, T: UnsizedConstParamTy> UnsizedConstParamTy for (A, Z, Y, X, W, V, U, T)

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

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

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

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

impl<T: UnsizedConstParamTy + ?Sized> UnsizedConstParamTy for &T

impl<T: UnsizedConstParamTy> UnsizedConstParamTy for [T]

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

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

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

impl<U: UnsizedConstParamTy, T: UnsizedConstParamTy> UnsizedConstParamTy for (U, T)

impl<V: UnsizedConstParamTy, U: UnsizedConstParamTy, T: UnsizedConstParamTy> UnsizedConstParamTy for (V, U, T)

impl<W: UnsizedConstParamTy, V: UnsizedConstParamTy, U: UnsizedConstParamTy, T: UnsizedConstParamTy> UnsizedConstParamTy for (W, V, U, T)

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

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

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