2018-08-30 12:18:55 +00:00
|
|
|
// run-pass
|
2015-03-22 20:13:15 +00:00
|
|
|
|
2013-09-25 21:55:38 +00:00
|
|
|
trait Base: Base2 + Base3{
|
2014-05-22 23:57:53 +00:00
|
|
|
fn foo(&self) -> String;
|
|
|
|
fn foo1(&self) -> String;
|
|
|
|
fn foo2(&self) -> String{
|
2014-05-25 10:17:19 +00:00
|
|
|
"base foo2".to_string()
|
2013-09-26 14:59:54 +00:00
|
|
|
}
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
trait Base2: Base3{
|
2014-05-22 23:57:53 +00:00
|
|
|
fn baz(&self) -> String;
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
trait Base3{
|
2014-05-22 23:57:53 +00:00
|
|
|
fn root(&self) -> String;
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
trait Super: Base{
|
2014-05-22 23:57:53 +00:00
|
|
|
fn bar(&self) -> String;
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
struct X;
|
|
|
|
|
|
|
|
impl Base for X {
|
2014-05-22 23:57:53 +00:00
|
|
|
fn foo(&self) -> String{
|
2014-05-25 10:17:19 +00:00
|
|
|
"base foo".to_string()
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
2014-05-22 23:57:53 +00:00
|
|
|
fn foo1(&self) -> String{
|
2014-05-25 10:17:19 +00:00
|
|
|
"base foo1".to_string()
|
2013-09-26 14:59:54 +00:00
|
|
|
}
|
2013-09-25 21:55:38 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Base2 for X {
|
2014-05-22 23:57:53 +00:00
|
|
|
fn baz(&self) -> String{
|
2014-05-25 10:17:19 +00:00
|
|
|
"base2 baz".to_string()
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Base3 for X {
|
2014-05-22 23:57:53 +00:00
|
|
|
fn root(&self) -> String{
|
2014-05-25 10:17:19 +00:00
|
|
|
"base3 root".to_string()
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Super for X {
|
2014-05-22 23:57:53 +00:00
|
|
|
fn bar(&self) -> String{
|
2014-05-25 10:17:19 +00:00
|
|
|
"super bar".to_string()
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn main() {
|
|
|
|
let n = X;
|
2019-05-28 18:47:21 +00:00
|
|
|
let s = &n as &dyn Super;
|
2014-05-25 10:17:19 +00:00
|
|
|
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());
|
2013-09-25 21:55:38 +00:00
|
|
|
}
|