// Regression test for issue 7364
static boxed: Box<RefCell<isize>> = box RefCell::new(0);
//~^ ERROR allocations are not allowed in statics
-//~| ERROR the trait `core::marker::Sync` is not implemented for the type
+//~| ERROR `std::cell::RefCell<isize>: std::marker::Sync` is not satisfied
fn main() { }