{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"lifetime_ends_after_call.push((tmp.val.llval,"}]}
                    lifetime_ends_after_call.push((tmp.val.llval, tmp.layout.size));
                    op.val = Ref(tmp.val);
                }