1 // aux-build:trait_superkinds_in_metadata.rs
3 // Test for traits inheriting from the builtin kinds cross-crate.
4 // Mostly tests correctness of metadata.
6 extern crate trait_superkinds_in_metadata;
7 use trait_superkinds_in_metadata::{RequiresRequiresShareAndSend, RequiresShare};
11 impl <T:Sync> RequiresShare for X<T> { }
13 impl <T:Sync+'static> RequiresRequiresShareAndSend for X<T> { }
14 //~^ ERROR `T` cannot be sent between threads safely [E0277]