{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
/// Same as `typeck` but `inspect` is invoked on evaluation of each root obligation.
/// Inspecting obligations only works with the new trait solver.