user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #4447 from RalfJung/miri-script-msrv

Browse source 
miri-script: set msrv so clippy doesn't suggest too-new features
This commit is contained in:
Ralf Jung 2025-07-05 08:59:43 +00:00 • committed by GitHub
commit 6ea0b65c09
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tools/miri/miri-script/Cargo.toml
View file

@ -7,6 +7,7 @@ repository = "https://github.com/rust-lang/miri"
version = "0.1.0"
default-run = "miri-script"
edition = "2024"
rust-version = "1.85"
[workspace]
# We make this a workspace root so that cargo does not go looking in ../Cargo.toml for the workspace root.

2
src/tools/miri/miri-script/src/commands.rs
View file

@ -702,7 +702,6 @@ impl Command {
let mut early_flags = Vec::<OsString>::new();
// In `dep` mode, the target is already passed via `MIRI_TEST_TARGET`
#[expect(clippy::collapsible_if)] // we need to wait until this is stable
if !dep {
if let Some(target) = &target {
early_flags.push("--target".into());
@ -735,7 +734,6 @@ impl Command {
// Add Miri flags
let mut cmd = cmd.args(&miri_flags).args(&early_flags).args(&flags);
// For `--dep` we also need to set the target in the env var.
#[expect(clippy::collapsible_if)] // we need to wait until this is stable
if dep {
if let Some(target) = &target {
cmd = cmd.env("MIRI_TEST_TARGET", target);