//@ run-pass | |
#![allow(dead_code)] | |
// Testing that supertrait methods can be called on subtrait object types | |
trait Foo { | |
fn f(&self) -> isize; | |
} | |
trait Bar : Foo { | |
fn g(&self) -> isize; | |
} | |
struct A { | |
x: isize | |
} | |
impl Foo for A { | |
fn f(&self) -> isize { 10 } | |
} | |
impl Bar for A { | |
fn g(&self) -> isize { 20 } | |
} | |
pub fn main() { | |
let a = &A { x: 3 }; | |
let afoo = a as &dyn Foo; | |
let abar = a as &dyn Bar; | |
assert_eq!(afoo.f(), 10); | |
assert_eq!(abar.g(), 20); | |
assert_eq!(abar.f(), 10); | |
} |