blob: edf8d82b48050b94aeed931a5b761f2a2331c2ff (
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.
<X as X>::foo(&());
}
|
