{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
            // `stats` is sorted below so we can allow this lint here.
            let record_stats = record_stats.lock();
            #[allow(rustc::potential_query_instability)]