Trait PackedElim

Source
pub trait PackedElim {
    type Reddragon;
}

Required Associated Types§

Implementors§

Source§

impl<T> PackedElim for Pure<T>

Source§

impl<Target> PackedElim for WeakHead<Species, Target>
where WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>,

Source§

type Reddragon = <WeakHead<Pure<Target>, Target> as SynthTyped<(), Target>>::Expr