Trait typewit::BaseTypeWitness

pub trait BaseTypeWitness: Debug + Copy + HasTypeWitness<MetaBaseTypeWit<Self::L, Self::R, Self>> {
    type L: ?Sized;
    type R: ?Sized;
}

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.

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

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

type L = L

type R = R

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

type L = L

type R = R