{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"with_no_trimmed_paths!({"}]}
        with_no_trimmed_paths!({
        let mut buf = Vec::new();
            use rustc_middle::mir::pretty;