1 #![feature(existential_type)]
5 // two definitions with different types
6 existential type Foo: std::fmt::Debug;
12 fn bar() -> Foo { //~ ERROR defining existential type use differs from previous
16 fn boo() -> Foo { //~ ERROR defining existential type use differs from previous