{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"TyKind::Adt(adt,"}]}
        TyKind::Adt(adt, subst) => {
    match ty.kind(Interner) {
            if has_destructor(db, adt.0) {