Trait chalk_solve::infer::ParameterEnaVariableExt

pub trait ParameterEnaVariableExt<I: Interner> {
    fn to_generic_arg(&self, interner: &I) -> GenericArg<I>;
}

Required methods

fn to_generic_arg(&self, interner: &I) -> GenericArg<I>

Loading content...

Implementations on Foreign Types

impl<I: Interner> ParameterEnaVariableExt<I> for WithKind<I, EnaVariable<I>>

fn to_generic_arg(&self, interner: &I) -> GenericArg<I>

Loading content...

Implementors

Loading content...