Trait typewit::BaseTypeWitness

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>;
}

Marker trait for TypeCmp/TypeEq/TypeNe.

Required Associated Types

type L: ?Sized

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

type R: ?Sized

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

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

Available on crate feature rust_1_65 only.

The type constructor corresponding to this type.

Object Safety

This trait is not object safe.

Implementors

impl<L: ?Sized, R: ?Sized> BaseTypeWitness for TypeCmp<L, R>

type L = L

type R = R

type TypeCtor = TcTypeCmp

impl<L: ?Sized, R: ?Sized> BaseTypeWitness for TypeEq<L, R>

type L = L

type R = R

type TypeCtor = TcTypeEq

impl<L: ?Sized, R: ?Sized> BaseTypeWitness for TypeNe<L, R>

type L = L

type R = R

type TypeCtor = TcTypeNe