{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"buf.push('\\n');"}]}
    buf.push('\n');
    buf.push_str(r#"pub const CLIPPY_LINTS: &[Lint] = &["#);
    for clippy_lint in clippy_lints.into_iter() {