blob: 6d2a12da7e443a283192df2c687c6cf8d77ad259 [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();
}