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
);
}