From b41762f846c02c0f631a854e3d71428c394205ae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Mon, 8 Apr 2024 20:51:02 +0200 Subject: [PATCH] flags --- src/flags.rs | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/src/flags.rs b/src/flags.rs index 321f030..3118a4c 100644 --- a/src/flags.rs +++ b/src/flags.rs @@ -72,11 +72,11 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[ ], // basic stuff, edition 2015 &[ - "-Zmir-opt-level=5", - "-Zmir-opt-level=3", - "-Zmir-opt-level=2", - "-Zmir-opt-level=1", "-Zmir-opt-level=0", + "-Zmir-opt-level=1", + "-Zmir-opt-level=2", + "-Zmir-opt-level=3", + "-Zmir-opt-level=5", "-Zunsound-mir-opts", "-Zcrate-attr=feature(abi_vectorcall)", "-Zcrate-attr=feature(anonymous_lifetime_in_impl_trait)", @@ -263,11 +263,11 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[ ], // basic stuff, edition 2018 &[ - "-Zmir-opt-level=5", - "-Zmir-opt-level=3", - "-Zmir-opt-level=2", - "-Zmir-opt-level=1", "-Zmir-opt-level=0", + "-Zmir-opt-level=1", + "-Zmir-opt-level=2", + "-Zmir-opt-level=3", + "-Zmir-opt-level=5", "-Zunsound-mir-opts", "-Zcrate-attr=feature(abi_vectorcall)", "-Zcrate-attr=feature(anonymous_lifetime_in_impl_trait)", @@ -454,11 +454,11 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[ ], // basic stuff, edition 2021 &[ - "-Zmir-opt-level=5", - "-Zmir-opt-level=3", - "-Zmir-opt-level=2", - "-Zmir-opt-level=1", "-Zmir-opt-level=0", + "-Zmir-opt-level=1", + "-Zmir-opt-level=2", + "-Zmir-opt-level=3", + "-Zmir-opt-level=5", "-Zunsound-mir-opts", "-Zcrate-attr=feature(abi_vectorcall)", "-Zcrate-attr=feature(anonymous_lifetime_in_impl_trait)",