Trait creusot_contracts::std::marker::ConstParamTy_

source · 
pub trait ConstParamTy_:
    UnsizedConstParamTy
    + StructuralPartialEq
    + Eq { }
🔬This is a nightly-only experimental API. (unsized_const_params)
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§