{"ast_node_type":"variable","tokens":[{"end":84,"kind":"keyword","start":0,"text":"let"}]}
            let ty = Ty::new_tup(self.tcx, &[self.ty(result), self.tcx.types.bool]);
        if op.is_overflowing() {
            let false_val = self.insert_bool(false);