From 9940d774a35685a3cab9e9112705aa53a9585a88 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 22 Aug 2026 12:33:43 +0200 Subject: [PATCH] enable next solver in Miri --- src/tools/miri/src/lib.rs | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 68c5c28da065b..a2b6108882df3 100644 --- a/src/tools/miri/src/lib.rs +++ b/src/tools/miri/src/lib.rs @@ -201,7 +201,4 @@ pub const MIRI_DEFAULT_ARGS: &[&str] = &[ // Deduplicating diagnostics means we miss events when tracking what happens during an // execution. Let's not do that. "-Zdeduplicate-diagnostics=no", - // FIXME(#160895): the new solver is enabled by default on nightly, but we - // don't want to use it in Miri for now. Remove once that's reverted. - "-Znext-solver=coherence", ];