From 7e95ff7c3ecf44b2995be54f79aa826f3f040df2 Mon Sep 17 00:00:00 2001
From: Ben Kimock <kimockb@gmail.com>
Date: Mon, 4 Dec 2023 19:21:59 -0500
Subject: [PATCH] Ignore intrinsics::assume in MIR inlining cost estimation

---
 compiler/rustc_mir_transform/src/cost_checker.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/rustc_mir_transform/src/cost_checker.rs b/compiler/rustc_mir_transform/src/cost_checker.rs
index 79bed960b950f..0e2eb486d0324 100644
--- a/compiler/rustc_mir_transform/src/cost_checker.rs
+++ b/compiler/rustc_mir_transform/src/cost_checker.rs
@@ -47,6 +47,7 @@ impl<'tcx> Visitor<'tcx> for CostChecker<'_, 'tcx> {
             StatementKind::StorageLive(_)
             | StatementKind::StorageDead(_)
             | StatementKind::Deinit(_)
+            | StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(_))
             | StatementKind::Nop => {}
             _ => self.cost += INSTR_COST,
         }