{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                    .push(clippy_lints.last().unwrap().id.clone());
        } else if let Some(line) = line.strip_prefix(r#""docs": ""#) {