src/test/ui/traits/wf-object/reverse-order.rs

   1 // run-pass
   2
   3 // Ensure that `dyn $($AutoTrait)+ ObjSafe` is well-formed.
   4
   5 use std::marker::Unpin;
   6
   7 // Some arbitrary object-safe trait:
   8 trait Obj {}
   9
  10 type _0 = dyn Unpin;
  11 type _1 = dyn Send + Obj;
  12 type _2 = dyn Send + Unpin + Obj;
  13 type _3 = dyn Send + Unpin + Sync + Obj;
  14
  15 fn main() {}