Trait erg_compiler::ty::free::CanbeFree

source ·

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