2bf81922f7
Consider these expples { 92 } async { 92 } 'a: { 92 } #[a] { 92 } Previously the tree for them were BLOCK_EXPR { ... } EFFECT_EXPR async BLOCK_EXPR { ... } EFFECT_EXPR 'a: BLOCK_EXPR { ... } BLOCK_EXPR #[a] { ... } As you see, it gets progressively worse :) The last two items are especially odd. The last one even violates the balanced curleys invariant we have (#10357) The new approach is to say that the stuff in `{}` is stmt_list, and the block is stmt_list + optional modifiers BLOCK_EXPR STMT_LIST { ... } BLOCK_EXPR async STMT_LIST { ... } BLOCK_EXPR 'a: STMT_LIST { ... } BLOCK_EXPR #[a] STMT_LIST { ... } |
||
---|---|---|
.. | ||
0000_expr_block.rast | ||
0000_expr_block.rs | ||
0000_expr.rast | ||
0000_expr.rs | ||
0000_fn_call.rast | ||
0000_fn_call.rs | ||
0000_let_stmt.rast | ||
0000_let_stmt.rs | ||
0000_macro_let_stmt.rast | ||
0000_macro_let_stmt.rs | ||
0000_macro_unterminated_let_stmt.rast | ||
0000_macro_unterminated_let_stmt.rs | ||
0000_struct_item.rast | ||
0000_struct_item.rs | ||
0000_unterminated_fn_call.rast | ||
0000_unterminated_fn_call.rs | ||
0000_unterminated_let_stmt.rast | ||
0000_unterminated_let_stmt.rs |