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

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

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