{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // If successful, also store its symbol name in a global constant.
        let record = prepare_covfun_record(cx.tcx, unused.instance, false)?;
        name_globals.push(cx.const_str(unused.symbol_name.name).0);