//@ check-pass
#![allow(dead_code)]
#![allow(non_upper_case_globals)]
const x: &'static dyn Fn() = &|| println!("ICE here");
fn main() {}