blob: 61153b1e17141ce5ffd6d123e12aa636f01b6f7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#![feature(type_alias_impl_trait)]
fn main() {}
mod boo {
pub type Boo = impl ::std::fmt::Debug;
fn bomp() -> Boo {
""
}
}
// We don't actually know the type here.
fn bomp2() {
let _: &str = bomp(); //~ ERROR mismatched types
}
fn bomp() -> boo::Boo {
"" //~ ERROR mismatched types
}
fn bomp_loop() -> boo::Boo {
loop {}
}
|