Skip to content

Commit

Permalink
Auto merge of #4255 - mikerite:fix-warnings-20190706, r=Manishearth
Browse files Browse the repository at this point in the history
Fix unknown lint warnings

changelog: none
  • Loading branch information
bors committed Jul 6, 2019
2 parents 8744e8e + ce30891 commit 5d7f6a1
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion clippy_lints/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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)]

Expand Down
2 changes: 1 addition & 1 deletion clippy_lints/src/types.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#![allow(default_hash_types)]
#![allow(rustc::default_hash_types)]

use std::borrow::Cow;
use std::cmp::Ordering;
Expand Down

0 comments on commit 5d7f6a1

Please sign in to comment.