blob: 3c5e5a9f69af0a61bb32c76994efba55b7f31168 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#![deny(where_clauses_object_safety)]
trait Trait {}
trait X {
fn foo(&self) where Self: Trait; //~ ERROR the trait `X` cannot be made into an object
//~^ WARN this was previously accepted by the compiler but is being phased out
}
impl X for () {
fn foo(&self) {}
}
impl Trait for dyn X {}
pub fn main() {
// Check that this does not segfault.
<dyn X as X>::foo(&());
}
|
