// option. This file may not be copied, modified, or distributed
// except according to those terms.
+#![allow(safe_extern_statics)]
+
extern {
static error_message_count: u32;
}
pub static BAZ: u32 = *&error_message_count;
-//~^ ERROR cannot refer to other statics by value
+//~^ ERROR could not evaluate static initializer
+//~| tried to read from foreign (extern) static
+//~^^^ ERROR could not evaluate static initializer
+//~| tried to read from foreign (extern) static
fn main() {}