{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                symbol_export_level(tcx, def_id.to_def_id())
            let codegen_attrs = tcx.codegen_fn_attrs(def_id.to_def_id());