tests/ui/type-alias-impl-trait/issue-60407.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//@ check-pass

#![feature(type_alias_impl_trait)]

pub type Debuggable = impl core::fmt::Debug;

#[define_opaque(Debuggable)]
pub fn foo() -> Debuggable {
    0u32
}

static mut TEST: Option<Debuggable> = None;

fn main() {
    unsafe { TEST = Some(foo()) }
}