tests/ui/builtin-superkinds/builtin-superkinds-in-metadata.rs

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