#![feature(type_alias_impl_trait, rustc_attrs)]
type Debuggable = impl core::fmt::Debug;
static mut TEST: Option<Debuggable> = None;
#[rustc_error]
fn main() {
//~^ ERROR
unsafe { TEST = Some(foo()) }
}
fn foo() -> Debuggable {
0u32