1 #![feature(existential_type)]
6 pub existential type Boo: ::std::fmt::Debug;
12 // don't actually know the type here
15 let _: &str = bomp(); //~ ERROR mismatched types
18 fn bomp() -> boo::Boo {
19 "" //~ ERROR mismatched types
22 fn bomp_loop() -> boo::Boo {