| 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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
 | error[E0267]: `break` inside of an `async` block
  --> $DIR/async-block-control-flow-static-semantics.rs:32:9
   |
LL |       async {
   |  ___________-
LL | |         break 0u8;
   | |         ^^^^^^^^^ cannot `break` inside of an `async` block
LL | |     };
   | |_____- enclosing `async` block
error[E0267]: `break` inside of an `async` block
  --> $DIR/async-block-control-flow-static-semantics.rs:39:13
   |
LL |           async {
   |  _______________-
LL | |             break 0u8;
   | |             ^^^^^^^^^ cannot `break` inside of an `async` block
LL | |         };
   | |_________- enclosing `async` block
error[E0308]: mismatched types
  --> $DIR/async-block-control-flow-static-semantics.rs:21:58
   |
LL |   async fn return_targets_async_block_not_async_fn() -> u8 {
   |  __________________________________________________________^
LL | |
LL | |     let block = async {
LL | |         return 0u8;
...  |
LL | |
LL | | }
   | |_^ expected `u8`, found `()`
error[E0271]: expected `impl Future<Output = u8>` to be a future that resolves to `()`, but it resolves to `u8`
  --> $DIR/async-block-control-flow-static-semantics.rs:26:39
   |
LL |     let _: &dyn Future<Output = ()> = █
   |                                       ^^^^^^ expected `()`, found `u8`
   |
   = note: required for the cast from `impl Future<Output = u8>` to the object type `dyn Future<Output = ()>`
error[E0308]: mismatched types
  --> $DIR/async-block-control-flow-static-semantics.rs:12:43
   |
LL | fn return_targets_async_block_not_fn() -> u8 {
   |    ---------------------------------      ^^ expected `u8`, found `()`
   |    |
   |    implicitly returns `()` as its body has no tail or `return` expression
error[E0271]: expected `impl Future<Output = u8>` to be a future that resolves to `()`, but it resolves to `u8`
  --> $DIR/async-block-control-flow-static-semantics.rs:17:39
   |
LL |     let _: &dyn Future<Output = ()> = █
   |                                       ^^^^^^ expected `()`, found `u8`
   |
   = note: required for the cast from `impl Future<Output = u8>` to the object type `dyn Future<Output = ()>`
error[E0308]: mismatched types
  --> $DIR/async-block-control-flow-static-semantics.rs:49:44
   |
LL | fn rethrow_targets_async_block_not_fn() -> Result<u8, MyErr> {
   |    ----------------------------------      ^^^^^^^^^^^^^^^^^ expected enum `Result`, found `()`
   |    |
   |    implicitly returns `()` as its body has no tail or `return` expression
   |
   = note:   expected enum `Result<u8, MyErr>`
           found unit type `()`
error[E0308]: mismatched types
  --> $DIR/async-block-control-flow-static-semantics.rs:58:50
   |
LL | fn rethrow_targets_async_block_not_async_fn() -> Result<u8, MyErr> {
   |    ----------------------------------------      ^^^^^^^^^^^^^^^^^ expected enum `Result`, found `()`
   |    |
   |    implicitly returns `()` as its body has no tail or `return` expression
   |
   = note:   expected enum `Result<u8, MyErr>`
           found unit type `()`
error: aborting due to 8 previous errors
Some errors have detailed explanations: E0267, E0271, E0308.
For more information about an error, try `rustc --explain E0267`.
 |