Trait mamba::check::name::Substitute

pub trait Substitute {
    fn substitute(&self, generics: &NameMap, pos: Position) -> TypeResult<Self>
    where
        Self: Sized;
}

Required Methods

fn substitute(&self, generics: &NameMap, pos: Position) -> TypeResult<Self>where
    Self: Sized,

Implementors

impl Substitute for StringName

impl Substitute for Name

impl Substitute for TrueName