Skip to main content

find_best_leaf_obligation

Function find_best_leaf_obligation 

Source
fn find_best_leaf_obligation<'db>(
    infcx: &InferCtxt<'db>,
    obligation: &Obligation<'db, Predicate<'db>>,
    consider_ambiguities: bool,
) -> (Obligation<'db, Predicate<'db>>, Vec<Predicate<'db>>)