blob: 4829e3c5c12405cd83cc111b02acbc9dbfe40096 [file] [log] [blame] [edit]
//@ run-pass
#![feature(trait_upcasting)]
trait A {
fn foo_a(&self); //~ WARN method `foo_a` is never used
}
trait B {
fn foo_b(&self);
}
trait C: A + B {
fn foo_c(&self); //~ WARN method `foo_c` is never used
}
struct S(i32);
impl A for S {
fn foo_a(&self) {
unreachable!();
}
}
impl B for S {
fn foo_b(&self) {
assert_eq!(42, self.0);
}
}
impl C for S {
fn foo_c(&self) {
unreachable!();
}
}
fn invoke_inner(b: &dyn B) {
b.foo_b();
}
fn invoke_outer(c: &dyn C) {
invoke_inner(c);
}
fn main() {
let s = S(42);
invoke_outer(&s);
}