blob: 62a4779991411007e2ab11761b341ff3be1a9b0c [file] [log] [blame]
#![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();
}