{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
/// called from within rustc. Note, this is not a query, and thus is not cached.
/// This function is *only to be used* by external tools, it should not be
pub fn inspect_typeck<'tcx>(