Add test for #60407.

This commit is contained in:
Mazdak Farrokhzad 2019-07-29 04:07:51 +02:00
parent b779f45fed
commit 1e927d8689

View File

@ -0,0 +1,15 @@
// check-pass
#![feature(existential_type)]
existential type Debuggable: core::fmt::Debug;
static mut TEST: Option<Debuggable> = None;
fn main() {
unsafe { TEST = Some(foo()) }
}
fn foo() -> Debuggable {
0u32
}