Type Alias chalk_solve::infer::ParameterEnaVariable

pub type ParameterEnaVariable<I: Interner> = WithKind<I, EnaVariable<I>>;

Aliased Type

struct ParameterEnaVariable<I: Interner> {
    pub kind: VariableKind<I>,
    /* private fields */
}

Fields

kind: VariableKind<I>

The associated variable kind.

Trait Implementations

impl<I: Interner> ParameterEnaVariableExt<I> for ParameterEnaVariable<I>

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