25 lines
524 B
Rust
25 lines
524 B
Rust
|
#![feature(supertrait_item_shadowing)]
|
||
|
|
#![warn(supertrait_item_shadowing_usage)]
|
||
|
|
|
||
|
|
struct W<T>(T);
|
||
|
|
|
||
|
|
trait Upstream {
|
||
|
|
fn hello(&self) {}
|
||
|
|
}
|
||
|
|
impl<T> Upstream for T {}
|
||
|
|
|
||
|
|
trait Downstream: Upstream {
|
||
|
|
fn hello(&self) {}
|
||
|
|
}
|
||
|
|
impl<T> Downstream for W<T> where T: Foo {}
|
||
|
|
|
||
|
|
trait Foo {}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
let x = W(Default::default());
|
||
|
|
x.hello();
|
||
|
|
//~^ ERROR the trait bound `i32: Foo` is not satisfied
|
||
|
|
//~| WARN trait item `hello` from `Downstream` shadows identically named item from supertrait
|
||
|
|
let _: i32 = x.0;
|
||
|
|
}
|