Fix quick tests

viperproject · Sep 1, 2023 · e877944 · e877944
1 parent 1185385
commit e877944
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prusti-viper/src/encoder/procedure_encoder.rs b/prusti-viper/src/encoder/procedure_encoder.rs
@@ -1618,8 +1618,8 @@ impl<'p, 'v: 'p, 'tcx: 'v> ProcedureEncoder<'p, 'v, 'tcx> {
             mir::Rvalue::BinaryOp(op, box (ref left, ref right)) => {
                 self.encode_assign_binary_op(op, left, right, encoded_lhs, ty, location)?
             }
-            mir::Rvalue::CheckedBinaryOp(_, _) => {
-                todo!()
+            mir::Rvalue::CheckedBinaryOp(op, box (ref left, ref right)) => {
+                self.encode_assign_checked_binary_op(op, left, right, encoded_lhs, ty, location)?
             }
             mir::Rvalue::UnaryOp(op, ref operand) => {
                 self.encode_assign_unary_op(op, operand, encoded_lhs, ty, location)?