tests/ui/traits/object/safety.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// Check that static methods render the trait dyn-incompatible.

trait Tr {
    fn foo();
    fn bar(&self) { }
}

struct St;

impl Tr for St {
    fn foo() {}
}

fn main() {
    let _: &dyn Tr = &St; //~ ERROR E0038
}