{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"!adt.has_dtor(cx.tcx)"}]}
        !adt.has_dtor(cx.tcx)
        //   the same values that were present before the custom destructor was invoked.
    }