BaseTypeWitness

typewit

Trait BaseTypeWitness 

Source 
pub trait BaseTypeWitness:
    Debug
    + Copy
    + HasTypeWitness<MetaBaseTypeWit<Self::L, Self::R, Self>> {
    type L: ?Sized;
    type R: ?Sized;
    type TypeCtor: BaseTypeWitnessTc<Type<Self::L, Self::R> = Self>;
}
Expand description

Marker trait for TypeCmp/TypeEq/TypeNe.

Required Associated Types§

Source

type L: ?Sized

The L type parameter of TypeEq/TypeNe/TypeCmp types.

Source

type R: ?Sized

The R type parameter of TypeEq/TypeNe/TypeCmp types.

Source

type TypeCtor: BaseTypeWitnessTc<Type<Self::L, Self::R> = Self>

Available on crate feature rust_1_65 only.

The type constructor corresponding to this type.

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§