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