src/test/ui/async-await/async-block-control-flow-static-semantics.stderr

   1 error[E0267]: `break` inside of an `async` block
   2   --> $DIR/async-block-control-flow-static-semantics.rs:32:9
   3    |
   4 LL |       async {
   5    |  ___________-
   6 LL | |         break 0u8;
   7    | |         ^^^^^^^^^ cannot `break` inside of an `async` block
   8 LL | |     };
   9    | |_____- enclosing `async` block
  10
  11 error[E0267]: `break` inside of an `async` block
  12   --> $DIR/async-block-control-flow-static-semantics.rs:39:13
  13    |
  14 LL |           async {
  15    |  _______________-
  16 LL | |             break 0u8;
  17    | |             ^^^^^^^^^ cannot `break` inside of an `async` block
  18 LL | |         };
  19    | |_________- enclosing `async` block
  20
  21 error[E0308]: mismatched types
  22   --> $DIR/async-block-control-flow-static-semantics.rs:21:58
  23    |
  24 LL |   async fn return_targets_async_block_not_async_fn() -> u8 {
  25    |  __________________________________________________________^
  26 LL | |
  27 LL | |     let block = async {
  28 LL | |         return 0u8;
  29 ...  |
  30 LL | |
  31 LL | | }
  32    | |_^ expected `u8`, found `()`
  33
  34 error[E0271]: type mismatch resolving `<impl Future<Output = u8> as Future>::Output == ()`
  35   --> $DIR/async-block-control-flow-static-semantics.rs:26:39
  36    |
  37 LL |     let _: &dyn Future<Output = ()> = &block;
  38    |                                       ^^^^^^ expected `()`, found `u8`
  39    |
  40    = note: required for the cast to the object type `dyn Future<Output = ()>`
  41
  42 error[E0308]: mismatched types
  43   --> $DIR/async-block-control-flow-static-semantics.rs:12:43
  44    |
  45 LL | fn return_targets_async_block_not_fn() -> u8 {
  46    |    ---------------------------------      ^^ expected `u8`, found `()`
  47    |    |
  48    |    implicitly returns `()` as its body has no tail or `return` expression
  49
  50 error[E0271]: type mismatch resolving `<impl Future<Output = u8> as Future>::Output == ()`
  51   --> $DIR/async-block-control-flow-static-semantics.rs:17:39
  52    |
  53 LL |     let _: &dyn Future<Output = ()> = &block;
  54    |                                       ^^^^^^ expected `()`, found `u8`
  55    |
  56    = note: required for the cast to the object type `dyn Future<Output = ()>`
  57
  58 error[E0308]: mismatched types
  59   --> $DIR/async-block-control-flow-static-semantics.rs:47:44
  60    |
  61 LL | fn rethrow_targets_async_block_not_fn() -> Result<u8, MyErr> {
  62    |    ----------------------------------      ^^^^^^^^^^^^^^^^^ expected enum `Result`, found `()`
  63    |    |
  64    |    implicitly returns `()` as its body has no tail or `return` expression
  65    |
  66    = note:   expected enum `Result<u8, MyErr>`
  67            found unit type `()`
  68
  69 error[E0308]: mismatched types
  70   --> $DIR/async-block-control-flow-static-semantics.rs:56:50
  71    |
  72 LL | fn rethrow_targets_async_block_not_async_fn() -> Result<u8, MyErr> {
  73    |    ----------------------------------------      ^^^^^^^^^^^^^^^^^ expected enum `Result`, found `()`
  74    |    |
  75    |    implicitly returns `()` as its body has no tail or `return` expression
  76    |
  77    = note:   expected enum `Result<u8, MyErr>`
  78            found unit type `()`
  79
  80 error: aborting due to 8 previous errors
  81
  82 Some errors have detailed explanations: E0267, E0271, E0308.
  83 For more information about an error, try `rustc --explain E0267`.