|
//@ 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() {}
|