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