From 0d7cc9b6971467267fd310d5e46a0f9c82c7d4eb Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sat, 5 Jul 2025 00:36:40 +0000
Subject: [PATCH] Re-enable debug_assert in our standard library build

The original tests no longer fail when re-enabling debug assertions.
Open tasks:
- Figure out what change actually solved #1740
- Address the ICE we see in one test
- Figure out why two other tests newly fail

Resolves: #1740
---
 tools/build-kani/src/sysroot.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tools/build-kani/src/sysroot.rs b/tools/build-kani/src/sysroot.rs
index bb8708a14f68..b8e8c92186f1 100644
--- a/tools/build-kani/src/sysroot.rs
+++ b/tools/build-kani/src/sysroot.rs
@@ -130,10 +130,6 @@ fn build_kani_lib(
         "host-config",
         "--profile",
         "dev",
-        // Disable debug assertions for now as a mitigation for
-        // https://github.com/model-checking/kani/issues/1740
-        "--config",
-        "profile.dev.debug-assertions=false",
         "--config",
         "host.rustflags=[\"--cfg=kani\", \"--cfg=kani_sysroot\"]",
         "--target",