{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"}"}]}
                    } else if matches!(ty.kind(), ty::Dynamic(..)) {
                        Some(DestructorLabel { span, name, dtor_kind: "concrete" })
                        if seen_dyn {