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