blob: 74b2ef48533d210e6e4e821ab6d9c347e87f01ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// run-pass
// Ensure that `dyn $($AutoTrait)+ ObjSafe` is well-formed.
// 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() {}
|