# Trait std::marker::ConstParamTy

source ·

    pub trait ConstParamTy: StructuralEq + StructuralPartialEq + Eq { }

🔬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.

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`.

## Object Safety§

This trait is not object safe.

## Implementors§

source§

### impl ConstParamTy for bool

source§

### impl ConstParamTy for char

source§

### impl ConstParamTy for i8

source§

### impl ConstParamTy for i16

source§

### impl ConstParamTy for i32

source§

### impl ConstParamTy for i64

source§

### impl ConstParamTy for i128

source§

### impl ConstParamTy for isize

source§

### impl ConstParamTy for str

source§

### impl ConstParamTy for u8

source§

### impl ConstParamTy for u16

source§

### impl ConstParamTy for u32

source§

### impl ConstParamTy for u64

source§

### impl ConstParamTy for u128

source§

### impl ConstParamTy for ()

source§

### impl ConstParamTy for usize

source§

### impl ConstParamTy for Assume

source§

### impl<T> ConstParamTy for &T where T: ConstParamTy + ?Sized,

source§

### impl<T> ConstParamTy for [T]where T: ConstParamTy,

source§

### impl<T> ConstParamTy for (T₁, T₂, …, Tₙ)where T: ConstParamTy,

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

source§

### impl<T, const N: usize> ConstParamTy for [T; N]where T: ConstParamTy,