parser: fix match-arm `!`/`?` propagation when a match is used as a block value (fix #28000) - #28002

Closed

medvednikov wants to merge 20 commits into

masterfrom

fix-match-if-expr-propagation-28000

Commits on Jul 31, 2026

parser: mark match-arm calls as return-used when a match is a block value (fix #28000)
medvednikov
committed
fab69be

Commits on Aug 2, 2026

parser: recurse through ParExpr when marking match/if block-value calls as return-used
medvednikov
committed
0efc15b
parser, v3: handle unsafe-wrapped match/if block values with propagation (#28000)
medvednikov
committed
439a513
parser, checker, v3: handle cast/as-cast-wrapped match/if block values with propagation (#28000)
medvednikov
committed
1546c32
parser, checker, cgen, v3: look through unsafe wrappers for cast-wrapped match/if values (#28000)
medvednikov
committed
b210e50
parser, checker, v3: traverse both infix operands for match/if block values (#28000)
medvednikov
committed
77a271a
parser: mark match/if arm calls in call arguments as return-used (#28000)
medvednikov
committed
b3b5a13
parser: recurse through nested call arguments for block-value match/if (#28000)
medvednikov
committed
e3c7894
parser: recurse through infix operands inside call arguments for block-value match/if (#28000)
medvednikov
committed
f46183f
parser, checker: handle array-literal match/if block values with propagation (#28000)
medvednikov
committed
eb4b179
parser, checker: handle struct-field match values and scope the array-value flag (#28000)
medvednikov
committed
353a90a
parser, checker: handle map-literal match/if block values with propagation (#28000)
medvednikov
committed
23236ba
parser, checker, v3: handle prefix-expression match/if block values with propagation (#28000)
medvednikov
committed
9225506
parser, checker, v3: handle index-expression match/if block values with propagation (#28000)
medvednikov
committed
7020743
checker, parser, v3: value-context left-hand match for membership and selector receivers (#28000)
medvednikov
committed
d61a5db
parser, checker: value-context map keys and array spreads for match/if block values (#28000)
medvednikov
committed
be7a393
parser, checker, v3: struct/map update and string-interp match/if block values (#28000)
medvednikov
committed
6bb7234
parser, checker, v3: handle dump/likely-wrapped match/if block values (#28000)
medvednikov
committed
58fba14
parser, checker: handle multi-return match/if block values with propagation (#28000)
medvednikov
committed
4095e5f
parser, checker: method-call receiver and slice-bound match/if block values (#28000)
medvednikov
committed
9c8e75b

Navigation Menu

Uh oh!

Uh oh!

parser: fix match-arm `!`/`?` propagation when a match is used as a block value (fix #28000) - #28002

parser: fix match-arm `!`/`?` propagation when a match is used as a block value (fix #28000)#28002
medvednikov wants to merge 20 commits into
masterfrom
fix-match-if-expr-propagation-28000

Commits on Jul 31, 2026

parser: mark match-arm calls as return-used when a match is a block value (fix #28000)

Commits on Aug 2, 2026

parser: recurse through ParExpr when marking match/if block-value calls as return-used

parser, v3: handle unsafe-wrapped match/if block values with propagation (#28000)

parser, checker, v3: handle cast/as-cast-wrapped match/if block values with propagation (#28000)

parser, checker, cgen, v3: look through unsafe wrappers for cast-wrapped match/if values (#28000)

parser, checker, v3: traverse both infix operands for match/if block values (#28000)

parser: mark match/if arm calls in call arguments as return-used (#28000)

parser: recurse through nested call arguments for block-value match/if (#28000)

parser: recurse through infix operands inside call arguments for block-value match/if (#28000)

parser, checker: handle array-literal match/if block values with propagation (#28000)

parser, checker: handle struct-field match values and scope the array-value flag (#28000)

parser, checker: handle map-literal match/if block values with propagation (#28000)

parser, checker, v3: handle prefix-expression match/if block values with propagation (#28000)

parser, checker, v3: handle index-expression match/if block values with propagation (#28000)

checker, parser, v3: value-context left-hand match for membership and selector receivers (#28000)

parser, checker: value-context map keys and array spreads for match/if block values (#28000)

parser, checker, v3: struct/map update and string-interp match/if block values (#28000)

parser, checker, v3: handle dump/likely-wrapped match/if block values (#28000)

parser, checker: handle multi-return match/if block values with propagation (#28000)

parser, checker: method-call receiver and slice-bound match/if block values (#28000)