Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #156021 - nnethercote:clean-up-some-traits, r=jackh726
Clean up some traits
I was looking at various traits and found some unnecessary trait bounds, and some unnecessary traits. Details in individual commits.
r? @Nadrieril
