summaryrefslogtreecommitdiffstats
path: root/tests/ui/async-await/async-block-control-flow-static-semantics.stderr
blob: bbd5a822d8df586b81f8ac8b9692bf356c6a0bd1 (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
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
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 `[async block@$DIR/async-block-control-flow-static-semantics.rs:23:17: 25:6]` 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 = ()> = &block;
   |                                       ^^^^^^ expected `()`, found `u8`
   |
   = note: required for the cast from `&[async block@$DIR/async-block-control-flow-static-semantics.rs:23:17: 25:6]` to `&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 `[async block@$DIR/async-block-control-flow-static-semantics.rs:14:17: 16:6]` 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 = ()> = &block;
   |                                       ^^^^^^ expected `()`, found `u8`
   |
   = note: required for the cast from `&[async block@$DIR/async-block-control-flow-static-semantics.rs:14:17: 16:6]` to `&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 `Result<u8, MyErr>`, 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 `Result<u8, MyErr>`, 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`.