{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":".join(def_path.to_filename_friendly_no_crate());"}]}
                .join(def_path.to_filename_friendly_no_crate());
            let dir_path = PathBuf::from(&infcx.tcx.sess.opts.unstable_opts.nll_facts_dir)
            polonius_facts.write_to_dir(dir_path, location_table).unwrap();