{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"debug!(\"run"}]}
    debug!("run query mir_borrowck: {}", tcx.def_path_str(def));
    let (input_body, _) = tcx.mir_promoted(def);