blob: 8549687ea78145ffafddbdef704065771492ac4c (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
// build-pass (FIXME(62277): could be check-pass?)
#![feature(type_alias_impl_trait)]
fn main() {}
// two definitions with different types
type Foo = impl std::fmt::Debug;
fn foo() -> Foo {
""
}
fn bar(arg: bool) -> Foo {
if arg {
panic!()
} else {
"bar"
}
}
fn boo(arg: bool) -> Foo {
if arg {
loop {}
} else {
"boo"
}
}
fn bar2(arg: bool) -> Foo {
if arg {
"bar2"
} else {
panic!()
}
}
fn boo2(arg: bool) -> Foo {
if arg {
"boo2"
} else {
loop {}
}
}
|