#![feature(existential_type)]
// compile-pass
mod my_mod {
  use std::fmt::Debug;

  pub existential type Foo: Debug;
  pub existential type Foot: Debug;

  pub fn get_foo() -> Foo {
      5i32
  }

  pub fn get_foot() -> Foot {
      get_foo()
  }
}

fn main() {
    let _: my_mod::Foot = my_mod::get_foot();
}