pub fn infer_query_with_inspect<'db>(
db: &'db (dyn HirDatabase + 'static),
def: DefWithBodyId,
inspect: Option<fn(&InferCtxt<'db>, &Obligation<'db, Predicate<'db>>, Result<Certainty, NoSolution>, Option<GoalEvaluation<DbInterner<'db>>>)>,
lowering_mode: LoweringMode,
) -> InferenceResult<'db>