// except according to those terms.
#![feature(box_syntax)]
+#![feature(const_fn)]
use std::cell::RefCell;
//~^ ERROR allocations are not allowed in statics
//~| ERROR the trait `core::marker::Sync` is not implemented for the type
//~| ERROR the trait `core::marker::Sync` is not implemented for the type
-//~| ERROR function calls in statics are limited to struct and enum constructors
fn main() { }