Trait mamba::check::name::true_name::MatchTempName

pub trait MatchTempName {
    fn temp_map(
        &self,
        other: &StringName,
        mapping: HashMap<Name, Name>,
        pos: Position
    ) -> TypeResult<HashMap<Name, Name>>;
}

Required Methods

fn temp_map(
    &self,
    other: &StringName,
    mapping: HashMap<Name, Name>,
    pos: Position
) -> TypeResult<HashMap<Name, Name>>

Implementors

impl MatchTempName for StringName

impl MatchTempName for TrueName