blob: 95239e2e341c83dc07db154320e93d31fb82bf4a (
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
25
|
#![feature(type_alias_impl_trait)]
type Foo = impl std::fmt::Debug;
fn foo(b: bool) -> Foo {
if b {
vec![42_i32]
} else {
std::iter::empty().collect()
}
}
type Bar = impl std::fmt::Debug;
fn bar(b: bool) -> Bar {
let x: Bar = if b {
vec![42_i32]
} else {
std::iter::empty().collect()
//~^ ERROR a value of type `Bar` cannot be built from an iterator over elements of type `_`
};
x
}
fn main() {}
|