fn unresolved_root_variables_of<V>(
table: UnificationTable<InPlace<V, &'_ mut UnificationStorage<V>, &'_ mut InferCtxtUndoLogs<'_>>>,
is_unresolved: impl Fn(V::Value) -> bool,
) -> Vec<V>Expand description
Returns unresolved root variables from table, according to is_unresolved.