Type Alias ObligationInspector 

pub type ObligationInspector<'db> = fn(&InferCtxt<'db>, &Obligation<'db, Predicate<'db>>, Result<Certainty, NoSolution>, Option<GoalEvaluation<DbInterner<'db>>>);

A callback that can be provided to inspect_typeck. Invoked on evaluation of root obligations.