blob: b8f2aae89663b874bb8e57406390edbb76807603 (
plain)
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 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() {}
|
