1 #![feature(negative_impls)] main()2 fn main() { 3 struct Foo; 4 5 impl !Sync for Foo {} 6 7 unsafe impl Send for &'static Foo { } //~ ERROR cross-crate traits with a default impl 8 } 9