blob: 2d5954afffdaad707e7b626dd5314b524c34835c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Check that we correctly prevent users from making trait objects
// from traits with static methods.
trait Foo {
fn foo() {}
}
fn diverges() -> Box<dyn Foo> {
//~^ ERROR E0038
loop { }
}
struct Bar;
impl Foo for Bar {}
fn main() {
let b: Box<dyn Foo> = Box::new(Bar);
//~^ ERROR E0038
}
|
