1 error[E0308]: `match` arms have incompatible types
2 --> $DIR/match-prev-arm-needing-semi.rs:35:18
4 LL | let _ = match true {
8 | | -------------- this is found to be of type `()`
11 LL | | false => async_dummy(),
12 | | ^^^^^^^^^^^^^ expected `()`, found opaque type
16 | |_____- `match` arms have incompatible types
18 note: while checking the return type of the `async fn`
19 --> $DIR/match-prev-arm-needing-semi.rs:16:24
21 LL | async fn async_dummy() {}
22 | ^ checked the `Output` of this `async fn`, found opaque type
23 = note: expected unit type `()`
24 found opaque type `impl Future<Output = ()>`
25 help: consider `await`ing on the `Future`
27 LL | false => async_dummy().await,
29 help: consider removing this semicolon
35 error[E0308]: `match` arms have incompatible types
36 --> $DIR/match-prev-arm-needing-semi.rs:48:18
38 LL | let _ = match true {
42 | | -------------- this is found to be of type `()`
45 LL | | false => async_dummy2(),
46 | | ^^^^^^^^^^^^^^ expected `()`, found opaque type
50 | |_____- `match` arms have incompatible types
52 note: while checking the return type of the `async fn`
53 --> $DIR/match-prev-arm-needing-semi.rs:22:25
55 LL | async fn async_dummy2() {}
56 | ^ checked the `Output` of this `async fn`, found opaque type
57 = note: expected unit type `()`
58 found opaque type `impl Future<Output = ()>`
59 help: consider `await`ing on the `Future`
61 LL | false => async_dummy2().await,
63 help: consider removing this semicolon and boxing the expressions
65 LL ~ Box::new(async_dummy())
68 LL ~ false => Box::new(async_dummy2()),
71 error[E0308]: `match` arms have incompatible types
72 --> $DIR/match-prev-arm-needing-semi.rs:59:18
74 LL | let _ = match true {
76 LL | | true => async_dummy(),
77 | | ------------- this is found to be of type `impl Future<Output = ()>`
79 LL | | false => async_dummy2(),
80 | | ^^^^^^^^^^^^^^ expected opaque type, found a different opaque type
84 | |_____- `match` arms have incompatible types
86 note: while checking the return type of the `async fn`
87 --> $DIR/match-prev-arm-needing-semi.rs:16:24
89 LL | async fn async_dummy() {}
90 | ^ checked the `Output` of this `async fn`, expected opaque type
91 note: while checking the return type of the `async fn`
92 --> $DIR/match-prev-arm-needing-semi.rs:22:25
94 LL | async fn async_dummy2() {}
95 | ^ checked the `Output` of this `async fn`, found opaque type
96 = note: expected opaque type `impl Future<Output = ()>` (opaque type at <$DIR/match-prev-arm-needing-semi.rs:16:24>)
97 found opaque type `impl Future<Output = ()>` (opaque type at <$DIR/match-prev-arm-needing-semi.rs:22:25>)
98 = note: distinct uses of `impl Trait` result in different opaque types
99 help: consider `await`ing on both `Future`s
101 LL ~ true => async_dummy().await,
103 LL ~ false => async_dummy2().await,
106 error[E0308]: `match` arms have incompatible types
107 --> $DIR/match-prev-arm-needing-semi.rs:11:18
109 LL | let _ = match true {
115 | | | help: consider removing this semicolon
116 | | this is found to be of type `()`
119 LL | | false => dummy(),
120 | | ^^^^^^^ expected `()`, found `i32`
123 | |_____- `match` arms have incompatible types
125 error: aborting due to 4 previous errors
127 For more information about this error, try `rustc --explain E0308`.