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