src/test/ui/traits/trait-alias/trait-alias-cross-crate.rs

   1 // aux-build:trait_alias.rs
   2
   3 #![feature(trait_alias)]
   4
   5 extern crate trait_alias;
   6
   7 use std::rc::Rc;
   8 use trait_alias::SendSync;
   9
  10 fn use_alias<T: SendSync>() {}
  11
  12 fn main() {
  13     use_alias::<u32>();
  14     use_alias::<Rc<u32>>();
  15     //~^ ERROR `Rc<u32>` cannot be sent between threads safely [E0277]
  16     //~^^ ERROR `Rc<u32>` cannot be shared between threads safely [E0277]
  17 }