Trait konst_kernel::type_eq::HasTypeWitness

pub trait HasTypeWitness<W: TypeWitnessTypeArg<Arg = Self>> {
    const WITNESS: W;
}

Required Associated Constants

const WITNESS: W

A constant of the type witness

Implementors

impl<T, W> HasTypeWitness<W> for Twhere
    T: ?Sized,
    W: MakeTypeWitness<Arg = T>,

const WITNESS: W = W::MAKE