{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"seen_dyn"}]}
                            seen_dyn = true;
                        } else {
                            Some(DestructorLabel { span: DUMMY_SP, name, dtor_kind: "dyn" })