{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":")"}]}
) -> io::Result<io::BufWriter<fs::File>> {
    body: &Body<'tcx>,
    let file_path = dump_path(tcx, extension, pass_num, pass_name, disambiguator, body);