Rollup merge of #101779 - eholk:drop-tracking-test-output, r=jyn514

[rust.git] / compiler / rustc_borrowck / src / lib.rs

diff --git a/compiler/rustc_borrowck/src/lib.rs b/compiler/rustc_borrowck/src/lib.rs
index 3b2bcd7e6d3aa2a4c2f0c1c9cef276107839c34b..ec652f852179a43c6aff5401317ea097894dfe39 100644 (file)
--- a/compiler/rustc_borrowck/src/lib.rs
+++ b/compiler/rustc_borrowck/src/lib.rs
@@ -592,8 +592,7 @@ fn visit_statement_before_primary_effect(
                 );
             }
             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",