{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        style_lints: bool,
        let _p = tracing::info_span!("diagnostics", name = ?self.name(db)).entered();