Trait erg_compiler::ty::free::CanbeFree

source · 
pub trait CanbeFree {
    // Required methods
    fn unbound_name(&self) -> Option<Str>;
    fn constraint(&self) -> Option<Constraint>;
    fn update_constraint(&self, constraint: Constraint, in_instantiation: bool);
}

Required Methods§

source

fn unbound_name(&self) -> Option<Str>

source

fn constraint(&self) -> Option<Constraint>

source

fn update_constraint(&self, constraint: Constraint, in_instantiation: bool)

Implementors§