Skip to main content

unresolved_root_variables_of

Function unresolved_root_variables_of 

Source
fn unresolved_root_variables_of<V>(
    table: UnificationTable<InPlace<V, &'_ mut UnificationStorage<V>, &'_ mut InferCtxtUndoLogs<'_>>>,
    is_unresolved: impl Fn(V::Value) -> bool,
) -> Vec<V>
where V: Eq + UnifyKey, V::Value: UnifyValue, for<'a> UndoLog<'a>: From<UndoLog<Delegate<V>>>,
Expand description

Returns unresolved root variables from table, according to is_unresolved.