Trait core::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.