63 lines
1.1 KiB
Rust
63 lines
1.1 KiB
Rust
//@ run-pass
|
|
|
|
trait Base: Base2 + Base3{
|
|
fn foo(&self) -> String;
|
|
fn foo1(&self) -> String;
|
|
fn foo2(&self) -> String{
|
|
"base foo2".to_string()
|
|
}
|
|
}
|
|
|
|
trait Base2: Base3{
|
|
fn baz(&self) -> String;
|
|
}
|
|
|
|
trait Base3{
|
|
fn root(&self) -> String;
|
|
}
|
|
|
|
trait Super: Base{
|
|
fn bar(&self) -> String;
|
|
}
|
|
|
|
struct X;
|
|
|
|
impl Base for X {
|
|
fn foo(&self) -> String{
|
|
"base foo".to_string()
|
|
}
|
|
fn foo1(&self) -> String{
|
|
"base foo1".to_string()
|
|
}
|
|
|
|
}
|
|
|
|
impl Base2 for X {
|
|
fn baz(&self) -> String{
|
|
"base2 baz".to_string()
|
|
}
|
|
}
|
|
|
|
impl Base3 for X {
|
|
fn root(&self) -> String{
|
|
"base3 root".to_string()
|
|
}
|
|
}
|
|
|
|
impl Super for X {
|
|
fn bar(&self) -> String{
|
|
"super bar".to_string()
|
|
}
|
|
}
|
|
|
|
pub fn main() {
|
|
let n = X;
|
|
let s = &n as &dyn Super;
|
|
assert_eq!(s.bar(),"super bar".to_string());
|
|
assert_eq!(s.foo(),"base foo".to_string());
|
|
assert_eq!(s.foo1(),"base foo1".to_string());
|
|
assert_eq!(s.foo2(),"base foo2".to_string());
|
|
assert_eq!(s.baz(),"base2 baz".to_string());
|
|
assert_eq!(s.root(),"base3 root".to_string());
|
|
}
|