Rustup to rustc 1.26.0-nightly (322d7f7b9 2018-02-25)

[rust.git] / clippy_lints / src / derive.rs

diff --git a/clippy_lints/src/derive.rs b/clippy_lints/src/derive.rs
index a891d7721c3f37e0b534ea293147d554c543d6f8..8702ec1e716a8679d9bfa6f28904dcde08675c9c 100644 (file)
--- a/clippy_lints/src/derive.rs
+++ b/clippy_lints/src/derive.rs
@@ -91,43 +91,44 @@ fn check_hash_peq<'a, 'tcx>(
     ty: Ty<'tcx>,
     hash_is_automatically_derived: bool,
 ) {
-    if_let_chain! {[
-        match_path(&trait_ref.path, &paths::HASH),
-        let Some(peq_trait_def_id) = cx.tcx.lang_items().eq_trait()
-    ], {
-        // Look for the PartialEq implementations for `ty`
-        cx.tcx.for_each_relevant_impl(peq_trait_def_id, ty, |impl_id| {
-            let peq_is_automatically_derived = is_automatically_derived(&cx.tcx.get_attrs(impl_id));
-
-            if peq_is_automatically_derived == hash_is_automatically_derived {
-                return;
-            }
+    if_chain! {
+        if match_path(&trait_ref.path, &paths::HASH);
+        if let Some(peq_trait_def_id) = cx.tcx.lang_items().eq_trait();
+        then {
+            // Look for the PartialEq implementations for `ty`
+            cx.tcx.for_each_relevant_impl(peq_trait_def_id, ty, |impl_id| {
+                let peq_is_automatically_derived = is_automatically_derived(&cx.tcx.get_attrs(impl_id));
+
+                if peq_is_automatically_derived == hash_is_automatically_derived {
+                    return;
+                }
 
-            let trait_ref = cx.tcx.impl_trait_ref(impl_id).expect("must be a trait implementation");
-
-            // Only care about `impl PartialEq<Foo> for Foo`
-            // For `impl PartialEq<B> for A, input_types is [A, B]
-            if trait_ref.substs.type_at(1) == ty {
-                let mess = if peq_is_automatically_derived {
-                    "you are implementing `Hash` explicitly but have derived `PartialEq`"
-                } else {
-                    "you are deriving `Hash` but have implemented `PartialEq` explicitly"
-                };
-
-                span_lint_and_then(
-                    cx, DERIVE_HASH_XOR_EQ, span,
-                    mess,
-                    |db| {
-                    if let Some(node_id) = cx.tcx.hir.as_local_node_id(impl_id) {
-                        db.span_note(
-                            cx.tcx.hir.span(node_id),
-                            "`PartialEq` implemented here"
-                        );
-                    }
-                });
-            }
-        });
-    }}
+                let trait_ref = cx.tcx.impl_trait_ref(impl_id).expect("must be a trait implementation");
+
+                // Only care about `impl PartialEq<Foo> for Foo`
+                // For `impl PartialEq<B> for A, input_types is [A, B]
+                if trait_ref.substs.type_at(1) == ty {
+                    let mess = if peq_is_automatically_derived {
+                        "you are implementing `Hash` explicitly but have derived `PartialEq`"
+                    } else {
+                        "you are deriving `Hash` but have implemented `PartialEq` explicitly"
+                    };
+
+                    span_lint_and_then(
+                        cx, DERIVE_HASH_XOR_EQ, span,
+                        mess,
+                        |db| {
+                        if let Some(node_id) = cx.tcx.hir.as_local_node_id(impl_id) {
+                            db.span_note(
+                                cx.tcx.hir.span(node_id),
+                                "`PartialEq` implemented here"
+                            );
+                        }
+                    });
+                }
+            });
+        }
+    }
 }
 
 /// Implementation of the `EXPL_IMPL_CLONE_ON_COPY` lint.
@@ -147,6 +148,13 @@ fn check_copy_clone<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, item: &Item, trait_ref
                         return;
                     }
                 }
+                for subst in substs {
+                    if let ty::subst::UnpackedKind::Type(subst) = subst.unpack() {
+                        if let ty::TyParam(_) = subst.sty {
+                            return;
+                        }
+                    }
+                }
             },
             _ => (),
         }
@@ -156,7 +164,9 @@ fn check_copy_clone<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, item: &Item, trait_ref
             EXPL_IMPL_CLONE_ON_COPY,
             item.span,
             "you are implementing `Clone` explicitly on a `Copy` type",
-            |db| { db.span_note(item.span, "consider deriving `Clone` or removing `Copy`"); },
+            |db| {
+                db.span_note(item.span, "consider deriving `Clone` or removing `Copy`");
+            },
         );
     }
 }