Remove unnecessary trait bounds and derivations

[nnethercote]

This PR removes unnecessary trait bounds and derivations from many types.

r? @nikomatsakis

[nnethercote]

I did this because I was trying to work out why Symbol implemented Hash, and in doing so I found a bunch of types that derived Hash unnecessarily. Then I took a semi-mechanical approach:

• I removed Hash trait bounds from all types, except those in tests and lib{alloc,core,std}.
• I compiled (and recompiled...), and added back the Hash trait bounds everywhere the compiler said it was necessary.
• I then removed all Hash derives, except those in tests and lib{alloc,core,std}.
• I compiled/recompiled, adding back all Hash derives everywhere the compiler said was necessary.
• I figure the types with unnecessary Hash derives were good candidates for possibly having other unnecessary dervies. So I then removed all derives from these types, and the re-added them back in as necessary.

Overall, I did a thorough job eliminating unnecessary Hash bounds and derives, and a scattershot job for other trait bounds and derives.

The whole process was very tedious, but it did find a few unnecessary trait bounds and many unnecessary derives. It would be nice if the compiler could identify at least some of these, the way it identifies unnecessary use items.

[Centril]

r? @Centril @bors r+

-- Looks great; some tools may break as a result of this but we can re-add specific bounds as needed.

[bors]

📌 Commit ac6daed has been approved by Centril

[matthiaskrgr]

Clippy needs some of these bounds.

error[E0369]: binary operation `==` cannot be applied to type `syntax::ast::LitKind` --> clippy_lints/src/utils/hir_utils.rs:117:70 | 117 | (&ExprKind::Lit(ref l), &ExprKind::Lit(ref r)) => l.node == r.node, | ------ ^^ ------ syntax::ast::LitKind | | | syntax::ast::LitKind | = note: an implementation of `std::cmp::PartialEq` might be missing for `syntax::ast::LitKind` error[E0599]: no method named `hash` found for type `&syntax::source_map::Spanned<rustc::hir::BinOpKind>` in the current scope --> clippy_lints/src/utils/hir_utils.rs:414:19 | 414 | o.hash(&mut self.s); | ^^^^ method not found in `&syntax::source_map::Spanned<rustc::hir::BinOpKind>` | = note: the method `hash` exists but the following trait bounds were not satisfied: `&syntax::source_map::Spanned<rustc::hir::BinOpKind> : std::hash::Hash` error[E0599]: no method named `hash` found for type `rustc::hir::BinOpKind` in the current scope --> clippy_lints/src/utils/hir_utils.rs:422:25 | 422 | op.node.hash(&mut self.s); | ^^^^ method not found in `rustc::hir::BinOpKind` error[E0599]: no method named `hash` found for type `&syntax::source_map::Spanned<syntax::ast::LitKind>` in the current scope --> clippy_lints/src/utils/hir_utils.rs:463:19 | 463 | l.hash(&mut self.s); | ^^^^ method not found in `&syntax::source_map::Spanned<syntax::ast::LitKind>` | = note: the method `hash` exists but the following trait bounds were not satisfied: `&syntax::source_map::Spanned<syntax::ast::LitKind> : std::hash::Hash` error[E0599]: no method named `hash` found for type `rustc::hir::UnOp` in the current scope --> clippy_lints/src/utils/hir_utils.rs:522:21 | 522 | lop.hash(&mut self.s); | ^^^^ method not found in `rustc::hir::UnOp` error: aborting due to 5 previous errors Some errors have detailed explanations: E0369, E0599. For more information about an error, try `rustc --explain E0369`. error: could not compile `clippy_lints`. warning: build failed, waiting for other jobs to finish... error[E0369]: binary operation `==` cannot be applied to type `syntax::ast::LitKind` --> clippy_lints/src/utils/hir_utils.rs:117:70 | 117 | (&ExprKind::Lit(ref l), &ExprKind::Lit(ref r)) => l.node == r.node, | ------ ^^ ------ syntax::ast::LitKind | | | syntax::ast::LitKind | = note: an implementation of `std::cmp::PartialEq` might be missing for `syntax::ast::LitKind` error[E0599]: no method named `hash` found for type `&syntax::source_map::Spanned<rustc::hir::BinOpKind>` in the current scope --> clippy_lints/src/utils/hir_utils.rs:414:19 | 414 | o.hash(&mut self.s); | ^^^^ method not found in `&syntax::source_map::Spanned<rustc::hir::BinOpKind>` | = note: the method `hash` exists but the following trait bounds were not satisfied: `&syntax::source_map::Spanned<rustc::hir::BinOpKind> : std::hash::Hash` error[E0599]: no method named `hash` found for type `rustc::hir::BinOpKind` in the current scope --> clippy_lints/src/utils/hir_utils.rs:422:25 | 422 | op.node.hash(&mut self.s); | ^^^^ method not found in `rustc::hir::BinOpKind` error[E0599]: no method named `hash` found for type `&syntax::source_map::Spanned<syntax::ast::LitKind>` in the current scope --> clippy_lints/src/utils/hir_utils.rs:463:19 | 463 | l.hash(&mut self.s); | ^^^^ method not found in `&syntax::source_map::Spanned<syntax::ast::LitKind>` | = note: the method `hash` exists but the following trait bounds were not satisfied: `&syntax::source_map::Spanned<syntax::ast::LitKind> : std::hash::Hash` error[E0599]: no method named `hash` found for type `rustc::hir::UnOp` in the current scope --> clippy_lints/src/utils/hir_utils.rs:522:21 | 522 | lop.hash(&mut self.s); | ^^^^ method not found in `rustc::hir::UnOp` error: aborting due to 5 previous errors 

Can we revert this?

[tesuji]

Just add necessary bounds for clippy I think.

[matthiaskrgr]

Can we do this for external types?

[tesuji]

I mean re-adding those bounds in rust repo, not in clippy side.

[mati865]

Maybe Clippy could use Hashstable instead of Hash.
Probably PartialEq is unavoidable.

[eddyb]

@nnethercote Looks like this caused a lot of fallout - why not just remove Hash from Symbol and see what breaks?