#![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(); | |
} | |