blob: 60b6e1aac6281672b544be3f2dc979251b3f507e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#![feature(type_alias_impl_trait)]
mod my_mod {
use std::fmt::Debug;
pub type Foo = impl Debug;
pub type Foot = impl Debug;
pub fn get_foo() -> Foo {
5i32
}
pub fn get_foot() -> Foot {
get_foo() //~ ERROR opaque type's hidden type cannot be another opaque type
}
}
fn main() {
let _: my_mod::Foot = my_mod::get_foot();
}
|