src/test/ui/existential_types/issue-60407.rs

   1 // check-pass
   2
   3 #![feature(existential_type)]
   4
   5 existential type Debuggable: core::fmt::Debug;
   6
   7 static mut TEST: Option<Debuggable> = None;
   8
   9 fn main() {
  10     unsafe { TEST = Some(foo()) }
  11 }
  12
  13 fn foo() -> Debuggable {
  14     0u32
  15 }