{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    derives.push((self_name, self_span, diagnostic_name));
                    traits.push(trait_pred.def_id());