# Function rustc_hir_typeck::inspect_typeck

source ·

    pub fn inspect_typeck<'tcx>(
        tcx: TyCtxt<'tcx>,
        def_id: LocalDefId,
        inspect: ObligationInspector<'tcx>
    ) -> &'tcx TypeckResults<'tcx>

Expand description

Same as `typeck` but `inspect` is invoked on evaluation of each root obligation. Inspecting obligations only works with the new trait solver. This function is only to be used by external tools, it should not be called from within rustc. Note, this is not a query, and thus is not cached.