{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                _ => continue,
            if let Some(diagnostic_name) = self.tcx.get_diagnostic_name(trait_pred.def_id()) {