Check all operands, they may contain indirections in their place

Author: oli-obk

compiler/rustc_borrowck/src/lib.rs

@@ -592,8 +592,7 @@ impl<'cx, 'tcx> rustc_mir_dataflow::ResultsVisitor<'cx, 'tcx> for MirBorrowckCtx
                 );
             }
             StatementKind::Intrinsic(box ref kind) => match kind {
-                // Takes a `bool` argument, and has no return value, thus being irrelevant for borrowck
-                NonDivergingIntrinsic::Assume(..) => {},
+                NonDivergingIntrinsic::Assume(op) => self.consume_operand(location, (op, span), flow_state),
                 NonDivergingIntrinsic::CopyNonOverlapping(..) => span_bug!(
                     span,
                     "Unexpected CopyNonOverlapping, should only appear after lower_intrinsics",

compiler/rustc_borrowck/src/type_check/mod.rs

@@ -1303,7 +1303,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
                 }
             }
             StatementKind::Intrinsic(box ref kind) => match kind {
-                NonDivergingIntrinsic::Assume(..) => {}
+                NonDivergingIntrinsic::Assume(op) => self.check_operand(op, location),
                 NonDivergingIntrinsic::CopyNonOverlapping(..) => span_bug!(
                     stmt.source_info.span,
                     "Unexpected NonDivergingIntrinsic::CopyNonOverlapping, should only appear after lowering_intrinsics",