diff options
| author | Pietro Albini <pietro.albini@ferrous-systems.com> | 2022-09-20 15:41:42 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro.albini@ferrous-systems.com> | 2022-09-26 10:14:45 +0200 |
| commit | 06568fd6c707b878ae69ede1532b82c7ba47e07e (patch) | |
| tree | c479602657cdb0561e7b5d5eedfbfb3b92af8831 /clippy_dev/src | |
| parent | c69edba5151dd368bb1812538b32f4ed56fd9f8b (diff) | |
remove cfg(bootstrap)
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clippy_dev/src/lib.rs b/clippy_dev/src/lib.rs index 54c7456a2a3..80bb83af43b 100644 --- a/clippy_dev/src/lib.rs +++ b/clippy_dev/src/lib.rs @@ -1,5 +1,4 @@ #![feature(let_chains)] -#![cfg_attr(bootstrap, feature(let_else))] #![feature(once_cell)] #![feature(rustc_private)] #![cfg_attr(feature = "deny-warnings", deny(warnings))] |