Merge remote-tracking branch 'origin/master'

2017-02-13 11:15:12 +01:00
parent 9824c997fe 9a7597d5af
commit 637a4590f6
10 changed files with 289 additions and 98 deletions
--- a/clippy_lints/src/lib.rs
+++ b/clippy_lints/src/lib.rs
@@ -15,6 +15,7 @@
 #![allow(needless_lifetimes)]

 extern crate syntax;
+extern crate syntax_pos;
 #[macro_use]
 extern crate rustc;
 extern crate rustc_data_structures;
@@ -465,6 +466,7 @@ pub fn register_plugins(reg: &mut rustc_plugin::Registry) {
        precedence::PRECEDENCE,
        print::PRINT_WITH_NEWLINE,
        ptr::CMP_NULL,
+        ptr::MUT_FROM_REF,
        ptr::PTR_ARG,
        ranges::RANGE_STEP_BY_ZERO,
        ranges::RANGE_ZIP_WITH_LEN,