1 2 3 4 5 6 7 8
// compile-flags: -Ztrait-solver=next // check-pass struct Foo(*mut ()); unsafe impl Sync for Foo {} fn main() {}