mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

enable rustc lints

Browse Source 
(but not in cargo-miri and ui_test)
This commit is contained in:
Ralf Jung 2022-08-07 09:17:16 -04:00
parent a522442521
commit 366d11b2d8
3 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cargo-miri/src/main.rs
View File

@ -1,5 +1,5 @@
#![feature(let_else)] #![feature(let_else)]
#![allow(clippy::useless_format, clippy::derive_partial_eq_without_eq)] #![allow(clippy::useless_format, clippy::derive_partial_eq_without_eq, rustc::internal)]
mod arg; mod arg;
mod phases; mod phases;

2
miri
View File

@ -124,6 +124,8 @@ fi
if [ -z "$CARGO_PROFILE_DEV_OPT_LEVEL" ]; then if [ -z "$CARGO_PROFILE_DEV_OPT_LEVEL" ]; then
export CARGO_PROFILE_DEV_OPT_LEVEL=2 export CARGO_PROFILE_DEV_OPT_LEVEL=2
fi fi
# Enable rustc-specific lints
export RUSTFLAGS="-Zunstable-options -Wrustc::internal $RUSTFLAGS"
# We set the rpath so that Miri finds the private rustc libraries it needs. # We set the rpath so that Miri finds the private rustc libraries it needs.
export RUSTFLAGS="-C link-args=-Wl,-rpath,$LIBDIR $RUSTFLAGS" export RUSTFLAGS="-C link-args=-Wl,-rpath,$LIBDIR $RUSTFLAGS"

7
ui_test/src/lib.rs
View File

@ -1,4 +1,9 @@
#![allow(clippy::enum_variant_names, clippy::useless_format, clippy::too_many_arguments)] #![allow(
clippy::enum_variant_names,
clippy::useless_format,
clippy::too_many_arguments,
rustc::internal
)]
use std::collections::VecDeque; use std::collections::VecDeque;
use std::ffi::OsString; use std::ffi::OsString;