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


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

// run-pass

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

use std::marker::Unpin;

// Some arbitrary object-safe 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() {}