fn underspecified_bound() -> u8
where
- B: A
+ B: A //~ WARNING trivial_bounds
{
B::get_x()
}
fn inconsistent_bound() -> i32
where
- B: A<X = i32>
+ B: A<X = i32> //~ WARNING trivial_bounds
{
B::get_x()
}
fn redundant_bound() -> u8
where
- B: A<X = u8>
+ B: A<X = u8> //~ WARNING trivial_bounds
{
B::get_x()
}
fn inconsistent_dup_bound() -> i32
where
B: A<X = i32> + A
+ //~^ WARNING trivial_bounds
+ //~| WARNING trivial_bounds
{
B::get_x()
}
fn redundant_dup_bound() -> u8
where
B: A<X = u8> + A
+ //~^ WARNING trivial_bounds
+ //~| WARNING trivial_bounds
{
B::get_x()
}