{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            return DINodeCreationResult::new(stub_info.metadata, false);
            debug_context(cx).adt_stack.borrow_mut().push((def_id, args));