{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"adt_destructor:"}]}
    adt_destructor: Table<DefIndex, LazyValue<ty::Destructor>>,
    coroutine_for_closure: Table<DefIndex, RawDefId>,
    adt_async_destructor: Table<DefIndex, LazyValue<ty::AsyncDestructor>>,