Match and binary operators in block body

[milibopp]

Just ran across this issue and wondered, whether this is some kind of syntax limitation or a parser bug:

The following code does not compile:

let x = { match 2 { _ => 1 } - 2 };

(playground)

The error message is somewhat confusing:

  Compiling playground v0.0.1 (file:///playground)
error[E0308]: mismatched types
 --> src/main.rs:2:15
  |
2 |     let x = { match 2 { _ => 1 } - 2 };
  |               ^^^^^^^^^^^^^^^^^^ expected (), found integral variable
  |
  = note: expected type `()`
             found type `{integer}`

error: aborting due to previous error

error: Could not compile `playground`.

To learn more, run the command again with --verbose.

I would have expected it to be equivalent to the following code, which does work (evaluating x to -1 as expected):

let x = match 2 { _ => 1 } - 2;

[durka]

I think this is the same as #13012 and #17930?

[milibopp]

Ah, I almost thought something like this must be the reason. Still feels a little surprising, but so be it.

So… close as duplicate then?

[Mark-Simulacrum]

Yeah, this seems to be a duplicate of the latter at least, closing.