56d415aa60
This solves problem of incorrect indexing into vtable
when method from super trait was called through pointer
to derived trait.
Problem was that offset of super trait vtables
was not calculated at all.
Now it works, correct offset is calculated by
traversing all super traits up to super trait
where method belongs. That is how it is
intended to work.
62 lines
1.2 KiB
Rust
62 lines
1.2 KiB
Rust
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
// file at the top-level directory of this distribution and at
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
// option. This file may not be copied, modified, or distributed
|
|
// except according to those terms.
|
|
|
|
trait Base: Base2 + Base3{
|
|
fn foo(&self) -> ~str;
|
|
}
|
|
|
|
trait Base2: Base3{
|
|
fn baz(&self) -> ~str;
|
|
}
|
|
|
|
trait Base3{
|
|
fn root(&self) -> ~str;
|
|
}
|
|
|
|
trait Super: Base{
|
|
fn bar(&self) -> ~str;
|
|
}
|
|
|
|
struct X;
|
|
|
|
impl Base for X {
|
|
fn foo(&self) -> ~str{
|
|
~"base foo"
|
|
}
|
|
|
|
}
|
|
|
|
impl Base2 for X {
|
|
fn baz(&self) -> ~str{
|
|
~"base2 baz"
|
|
}
|
|
}
|
|
|
|
impl Base3 for X {
|
|
fn root(&self) -> ~str{
|
|
~"base3 root"
|
|
}
|
|
}
|
|
|
|
impl Super for X {
|
|
fn bar(&self) -> ~str{
|
|
~"super bar"
|
|
}
|
|
}
|
|
|
|
pub fn main() {
|
|
let n = X;
|
|
let s = &n as &Super;
|
|
assert_eq!(s.bar(),~"super bar");
|
|
assert_eq!(s.foo(),~"base foo");
|
|
assert_eq!(s.baz(),~"base2 baz");
|
|
assert_eq!(s.root(),~"base3 root");
|
|
}
|