fix flags

matthiaskrgr · Dec 15, 2023 · da603d7 · da603d7
1 parent 2c60439
commit da603d7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/flags.rs b/src/flags.rs
@@ -95,7 +95,7 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[
         //  "-Clto=off", // rustc_codegen_gcc
         //   "-Ztreat-err-as-bug=3",
         "-Zcrate-attr=feature(lazy_type_alias)",
-        "-Ztrait-solver=next-coherence",
+        "-Znext-solver=coherence",
         "-Zcrate-attr=feature(generic_const_items)",
         "-Zrandomize-layout",
         "-Zinline-mir=yes",
@@ -139,7 +139,7 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[
         //     "-Zcrate-attr=feature(effects)",
         // "-Clto=off", // rustc_codegen_gcc
         //    "-Ztreat-err-as-bug=3",
-        "-Ztrait-solver=next-coherence",
+        "-Znext-solver=coherence",
         "-Zrandomize-layout",
         "-Zinline-mir=yes",
         "-Zinline-mir-threshold=20",
@@ -193,7 +193,7 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[
         // "-Zcrate-attr=feature(effects)",
         // "-Clto=off", // rustc_codegen_gcc
         //   "-Ztreat-err-as-bug=3",
-        "-Ztrait-solver=next-coherence",
+        "-Znext-solver=coherence",
         "-Zcrate-attr=feature(inline_const_pat)",
         "-Zrandomize-layout",
         "-Zinline-mir=yes",