From 0422f44dc475f60b9e9dbf5e0015abf9dcdffe44 Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Tue, 21 Feb 2023 18:53:30 +0000 Subject: [PATCH] Update MIR doc. --- compiler/rustc_middle/src/mir/syntax.rs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/compiler/rustc_middle/src/mir/syntax.rs b/compiler/rustc_middle/src/mir/syntax.rs index ae09562a85e98..2a722c4c72e30 100644 --- a/compiler/rustc_middle/src/mir/syntax.rs +++ b/compiler/rustc_middle/src/mir/syntax.rs @@ -1112,10 +1112,6 @@ pub enum Rvalue<'tcx> { /// For addition, subtraction, and multiplication on integers the error condition is set when /// the infinite precision result would be unequal to the actual result. /// - /// For shift operations on integers the error condition is set when the value of right-hand - /// side is greater than or equal to the number of bits in the type of the left-hand side, or - /// when the value of right-hand side is negative. - /// /// Other combinations of types and operators are unsupported. CheckedBinaryOp(BinOp, Box<(Operand<'tcx>, Operand<'tcx>)>),