1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
|
//@ run-pass
// Test calling methods on an impl for a bare trait.
//@ aux-build:traitimpl.rs
// FIXME(static_mut_refs): this could use an atomic
#![allow(static_mut_refs)]
extern crate traitimpl;
use traitimpl::Bar;
static mut COUNT: usize = 1;
trait T {
fn t(&self) {} //~ WARN method `t` is never used
}
impl<'a> dyn T+'a {
fn foo(&self) {
unsafe { COUNT *= 2; }
}
fn bar() {
unsafe { COUNT *= 3; }
}
}
impl T for isize {}
struct Foo;
impl<'a> Bar<'a> for Foo {}
fn main() {
let x: &dyn T = &42;
x.foo();
<dyn T>::foo(x);
<dyn T>::bar();
unsafe { assert_eq!(COUNT, 12); }
// Cross-crait case
let x: &dyn Bar = &Foo;
x.bar();
}
|