diff options
| author | Josh Stone <jistone@redhat.com> | 2024-10-14 14:46:44 -0700 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2024-10-15 20:30:23 -0700 |
| commit | acb09bf741ba439356e824dd10a07054c6656fb6 (patch) | |
| tree | 376a37a33d0c9d2e5817d6c4617e8f91cb320b39 /src | |
| parent | 6134f9f636422abeda9fbc1563f6aa9a5b0b3fdf (diff) | |
update bootstrap configs
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index f089d1e1bcc..9814858beaa 100644 --- a/src/tools/miri/src/lib.rs +++ b/src/tools/miri/src/lib.rs @@ -14,6 +14,7 @@ #![feature(strict_provenance)] #![feature(exposed_provenance)] #![feature(pointer_is_aligned_to)] +#![feature(unqualified_local_imports)] // Configure clippy and other lints #![allow( clippy::collapsible_else_if, @@ -42,13 +43,12 @@ )] #![warn( rust_2018_idioms, + unqualified_local_imports, clippy::cast_possible_wrap, // unsigned -> signed clippy::cast_sign_loss, // signed -> unsigned clippy::cast_lossless, clippy::cast_possible_truncation, )] -#![cfg_attr(not(bootstrap), feature(unqualified_local_imports))] -#![cfg_attr(not(bootstrap), warn(unqualified_local_imports))] // Needed for rustdoc from bootstrap (with `-Znormalize-docs`). #![recursion_limit = "256"] |
