{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"//"}]}
                    // Record to group diagnostics.
                if !live_symbols.contains(&def_id) {
                    let level = visitor.def_lint_level(def_id);