Merge remote-tracking branch 'origin/master' into yati_master

2017-04-25 10:31:40 +02:00
parent cac15d24f9 03f238d35b
commit 68369e5d37
53 changed files with 717 additions and 687 deletions
--- a/clippy_lints/src/lib.rs
+++ b/clippy_lints/src/lib.rs
@@ -11,7 +11,6 @@
 #![feature(conservative_impl_trait)]

 #![allow(indexing_slicing, shadow_reuse, unknown_lints, missing_docs_in_private_items)]
-#![allow(needless_lifetimes)]

 extern crate syntax;
 extern crate syntax_pos;