Trait konst_kernel::type_eq::TypeWitnessTypeArg

pub trait TypeWitnessTypeArg {
    type Arg: ?Sized;
}

Gets the type argument that this type witness witnesses.

example shared with MakeTypeWitness

A type witness is an enum whose variants only have TypeEq fields. Each variant requires the enum’s type parameter to be a specific type.

This trait should be implemented generically, as generic as the type definition of the implementor, doing so will help type inference.

Required Associated Types

type Arg: ?Sized

The type parameter used for type witnesses.

Usually, enums that implement this trait have variants with TypeEq<Self::Arg, SomeType> fields.

Implementors

impl<L, R> TypeWitnessTypeArg for TypeEq<L, R>

where L: ?Sized, R: ?Sized,

type Arg = L

impl<L, R, W> TypeWitnessTypeArg for MetaBaseTypeWit<L, R, W>

where L: ?Sized, R: ?Sized,

type Arg = W

impl<const B: bool> TypeWitnessTypeArg for BoolWit<B>

type Arg = Bool<B>