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
{ ... }
18 lines
402 B
Plaintext
18 lines
402 B
Plaintext
SOURCE_FILE@0..26
|
|
FN@0..25
|
|
COMMENT@0..11 "/// Example"
|
|
WHITESPACE@11..13 "\n\n"
|
|
FN_KW@13..15 "fn"
|
|
WHITESPACE@15..16 " "
|
|
NAME@16..20
|
|
IDENT@16..20 "test"
|
|
PARAM_LIST@20..22
|
|
L_PAREN@20..21 "("
|
|
R_PAREN@21..22 ")"
|
|
WHITESPACE@22..23 " "
|
|
BLOCK_EXPR@23..25
|
|
STMT_LIST@23..25
|
|
L_CURLY@23..24 "{"
|
|
R_CURLY@24..25 "}"
|
|
WHITESPACE@25..26 "\n"
|