Trait chalk_solve::infer::ParameterEnaVariableExt

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

Required methods

pub 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>>

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

Loading content...

Implementors

Loading content...