blob: 16e7ca1cbc618387d02b46a673d68c5053b49938 [file] [log] [blame] [edit]
// Check that dyn-incompatible traits are not WF when used as trait object types.
// Issue #21953.
trait A {
fn foo(&self, _x: &Self);
}
fn main() {
let _x: &dyn A; //~ ERROR E0038
}