mod meta_base_type_wit;
pub use meta_base_type_wit::MetaBaseTypeWit;
#[cfg_attr(feature = "docsrs", doc(cfg(feature = "rust_1_61")))]
pub trait BaseTypeWitness:
core::fmt::Debug +
Copy +
crate::HasTypeWitness<MetaBaseTypeWit<Self::L, Self::R, Self>>
{
type L: ?Sized;
type R: ?Sized;
#[cfg(feature = "rust_1_65")]
#[cfg_attr(feature = "docsrs", doc(cfg(feature = "rust_1_65")))]
type TypeCtor: crate::type_constructors::BaseTypeWitnessTc<Type<Self::L, Self::R> = Self>;
}
impl<L: ?Sized, R: ?Sized> BaseTypeWitness for crate::TypeEq<L, R> {
type L = L;
type R = R;
#[cfg(feature = "rust_1_65")]
type TypeCtor = crate::type_constructors::TcTypeEq;
}
impl<L: ?Sized, R: ?Sized> BaseTypeWitness for crate::TypeNe<L, R> {
type L = L;
type R = R;
#[cfg(feature = "rust_1_65")]
type TypeCtor = crate::type_constructors::TcTypeNe;
}
impl<L: ?Sized, R: ?Sized> BaseTypeWitness for crate::TypeCmp<L, R> {
type L = L;
type R = R;
#[cfg(feature = "rust_1_65")]
type TypeCtor = crate::type_constructors::TcTypeCmp;
}