Function next_trait_solve_in_ctxt 

pub fn next_trait_solve_in_ctxt<'db, 'a>(
    infer_ctxt: &'a InferCtxt<'db>,
    goal: Goal<'db, Predicate<'db>>,
) -> Result<(HasChanged, Certainty), NoSolution>

Solve a trait goal using next trait solver.