diff options
| author | bors <bors@rust-lang.org> | 2019-07-06 07:19:20 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-07-06 07:19:20 +0000 |
| commit | 5d7f6a10aecca6fda575c6168775b664e0fa8fde (patch) | |
| tree | d8380416da9ac2aae8c25fc690ce9c5a5476265f | |
| parent | 8744e8ed26f3609c64c89b578e569366bfe1d551 (diff) | |
| parent | ce308910fd32cfbf16be33bf59c5777f0235dce8 (diff) | |
| download | rust-5d7f6a10aecca6fda575c6168775b664e0fa8fde.tar.gz rust-5d7f6a10aecca6fda575c6168775b664e0fa8fde.zip | |
Auto merge of #4255 - mikerite:fix-warnings-20190706, r=Manishearth
Fix unknown lint warnings changelog: none
| -rw-r--r-- | clippy_lints/src/lib.rs | 2 | ||||
| -rw-r--r-- | clippy_lints/src/types.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/clippy_lints/src/lib.rs b/clippy_lints/src/lib.rs index d239f14339f..0d2c9e6b987 100644 --- a/clippy_lints/src/lib.rs +++ b/clippy_lints/src/lib.rs @@ -8,7 +8,7 @@ #![allow(clippy::missing_docs_in_private_items)] #![recursion_limit = "512"] #![warn(rust_2018_idioms, trivial_casts, trivial_numeric_casts)] -#![deny(internal)] +#![deny(rustc::internal)] #![feature(crate_visibility_modifier)] #![feature(concat_idents)] diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs index 36a4b699fb6..b674b3888ab 100644 --- a/clippy_lints/src/types.rs +++ b/clippy_lints/src/types.rs @@ -1,4 +1,4 @@ -#![allow(default_hash_types)] +#![allow(rustc::default_hash_types)] use std::borrow::Cow; use std::cmp::Ordering; |