tests/ui/traits/wf-object/reverse-order.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ check-pass

// Ensure that `dyn $($AutoTrait)+ ObjSafe` is well-formed.

// Some arbitrary dyn-compatible trait:
trait Obj {}

type _0 = dyn Unpin;
type _1 = dyn Send + Obj;
type _2 = dyn Send + Unpin + Obj;
type _3 = dyn Send + Unpin + Sync + Obj;

fn main() {}