9 //~^ NOTE `if` and `else` have incompatible types
10 dummy(); //~ NOTE expected because of this
11 //~^ HELP consider removing this semicolon
13 dummy() //~ ERROR `if` and `else` have incompatible types
14 //~^ NOTE expected `()`, found `i32`
18 async fn async_dummy() {} //~ NOTE checked the `Output` of this `async fn`, found opaque type
19 //~| NOTE while checking the return type of the `async fn`
20 //~| NOTE in this expansion of desugaring of `async` block or function
21 //~| NOTE checked the `Output` of this `async fn`, expected opaque type
22 //~| NOTE while checking the return type of the `async fn`
23 //~| NOTE in this expansion of desugaring of `async` block or function
24 async fn async_dummy2() {} //~ NOTE checked the `Output` of this `async fn`, found opaque type
25 //~| NOTE checked the `Output` of this `async fn`, found opaque type
26 //~| NOTE while checking the return type of the `async fn`
27 //~| NOTE in this expansion of desugaring of `async` block or function
28 //~| NOTE while checking the return type of the `async fn`
29 //~| NOTE in this expansion of desugaring of `async` block or function
31 async fn async_extra_semicolon_same() {
33 //~^ NOTE `if` and `else` have incompatible types
34 async_dummy(); //~ NOTE expected because of this
35 //~^ HELP consider removing this semicolon
37 async_dummy() //~ ERROR `if` and `else` have incompatible types
38 //~^ NOTE expected `()`, found opaque type
39 //~| NOTE expected unit type `()`
40 //~| HELP consider `await`ing on the `Future`
44 async fn async_extra_semicolon_different() {
46 //~^ NOTE `if` and `else` have incompatible types
47 async_dummy(); //~ NOTE expected because of this
48 //~^ HELP consider removing this semicolon
50 async_dummy2() //~ ERROR `if` and `else` have incompatible types
51 //~^ NOTE expected `()`, found opaque type
52 //~| NOTE expected unit type `()`
53 //~| HELP consider `await`ing on the `Future`
57 async fn async_different_futures() {
59 //~^ NOTE `if` and `else` have incompatible types
60 async_dummy() //~ NOTE expected because of this
61 //~| HELP consider `await`ing on both `Future`s
63 async_dummy2() //~ ERROR `if` and `else` have incompatible types
64 //~^ NOTE expected opaque type, found a different opaque type
65 //~| NOTE expected opaque type `impl Future<Output = ()>`
66 //~| NOTE distinct uses of `impl Trait` result in different opaque types