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