bb01aca86f
Those lints are trait_duplication_in_bounds and type_repetition_in_bounds. I don't think those can be fixed on the Clippy side alone, but need changes in the compiler. So let's move them to nursery to get the sync through and then fix them on the rustc side. Also adds a regression test that has to be fixed before they can be moved back to pedantic.
102 lines
1.5 KiB
Rust
102 lines
1.5 KiB
Rust
#![deny(clippy::trait_duplication_in_bounds)]
|
|
|
|
use std::collections::BTreeMap;
|
|
use std::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Sub, SubAssign};
|
|
|
|
fn bad_foo<T: Clone + Default, Z: Copy>(arg0: T, arg1: Z)
|
|
where
|
|
T: Clone,
|
|
T: Default,
|
|
{
|
|
unimplemented!();
|
|
}
|
|
|
|
fn good_bar<T: Clone + Default>(arg: T) {
|
|
unimplemented!();
|
|
}
|
|
|
|
fn good_foo<T>(arg: T)
|
|
where
|
|
T: Clone + Default,
|
|
{
|
|
unimplemented!();
|
|
}
|
|
|
|
fn good_foobar<T: Default>(arg: T)
|
|
where
|
|
T: Clone,
|
|
{
|
|
unimplemented!();
|
|
}
|
|
|
|
trait T: Default {
|
|
fn f()
|
|
where
|
|
Self: Default;
|
|
}
|
|
|
|
trait U: Default {
|
|
fn f()
|
|
where
|
|
Self: Clone;
|
|
}
|
|
|
|
trait ZZ: Default {
|
|
fn g();
|
|
fn h();
|
|
fn f()
|
|
where
|
|
Self: Default + Clone;
|
|
}
|
|
|
|
trait BadTrait: Default + Clone {
|
|
fn f()
|
|
where
|
|
Self: Default + Clone;
|
|
fn g()
|
|
where
|
|
Self: Default;
|
|
fn h()
|
|
where
|
|
Self: Copy;
|
|
}
|
|
|
|
#[derive(Default, Clone)]
|
|
struct Life;
|
|
|
|
impl T for Life {
|
|
// this should not warn
|
|
fn f() {}
|
|
}
|
|
|
|
impl U for Life {
|
|
// this should not warn
|
|
fn f() {}
|
|
}
|
|
|
|
// should not warn
|
|
trait Iter: Iterator {
|
|
fn into_group_btreemap<K, V>(self) -> BTreeMap<K, Vec<V>>
|
|
where
|
|
Self: Iterator<Item = (K, V)> + Sized,
|
|
K: Ord + Eq,
|
|
{
|
|
unimplemented!();
|
|
}
|
|
}
|
|
|
|
struct Foo;
|
|
|
|
trait FooIter: Iterator<Item = Foo> {
|
|
fn bar()
|
|
where
|
|
Self: Iterator<Item = Foo>,
|
|
{
|
|
}
|
|
}
|
|
|
|
// This should not lint
|
|
fn impl_trait(_: impl AsRef<str>, _: impl AsRef<str>) {}
|
|
|
|
fn main() {}
|