{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"debug_context(cx).adt_stack.borrow_mut().push((def_id,"}]}
            debug_context(cx).adt_stack.borrow_mut().push((def_id, args));
        } else {
            _adt_stack_pop_guard = Some(AdtStackPopGuard { cx });