src/test/ui/wf/wf-object-safe.rs

   1 // Check that object-safe traits are not WF when used as object types.
   2 // Issue #21953.
   3
   4 trait A {
   5     fn foo(&self, _x: &Self);
   6 }
   7
   8 fn main() {
   9     let _x: &dyn A; //~ ERROR E0038
  10 }