{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"write_mir_pretty(tcx,"}]}
            write_mir_pretty(tcx, None, &mut f)?;
            let mut f = File::create_buffered(&path)?;
            if tcx.sess.opts.json_artifact_notifications {