Can't parse binops after blocks in... some cases(?)

[bblum]

This gives unexpected token on the ==. But if you change foo to use explicit return, with a semicolon after it, or if you put the binary equals expression inside of an assert, it appears to work fine.

fn foo() -> bool {
    { true } == true
}
fn main() {}

[huonw]

I believe this is because the parser sees { and that means that the {true} is parsed as a block; in the other two instances, i.e. return {true} == true; and assert!({true} == true), the surrounds force {true} == true to be parsed as an expression, which works.

[bblum]

not really a bwds-compat hazard, since it's less permissive than it should be. nominating well covered.

[catamorphism]

wontfix -- this is by design, to avoid lookahead