src/test/ui/builtin-superkinds/builtin-superkinds-simple.rs

   1 // Basic test for traits inheriting from the builtin kinds, checking
   2 // the type contents of the implementing type (that's not a typaram).
   3
   4 trait Foo : Send { }
   5
   6 impl Foo for std::rc::Rc<i8> { }
   7 //~^ ERROR `std::rc::Rc<i8>` cannot be sent between threads safely
   8
   9 fn main() { }