Background (usability feedback, R21)
enable-pause-point snapshots are pre-line (values are captured before the target line executes). To observe "the value right after this assignment", callers must target the next statement line or the method's closing brace — and the closing-brace form triggers a (correct) warning that every return path reaches that line.
Tester quote:
SnapshotTiming が pre-line（その行の実行前）固定なのも同根で、「この文の後の値」を見たいときは必ず1行ずらす暗算が要る。
Ask: a --snapshot-timing post-line option, since "read the value just after the assignment" is the most common use of a pause point in E2E verification.
Why deferred
Valid and well-motivated (reported 5/10, re-rated 4/10), but it changes sequence-point selection for the injected pause await and needs its own design pass (where "after line N" lands when line N is a call, a branch, or the last statement). Deferred from the R21 fix round for scope; candidate for a future round.
Background (usability feedback, R21)
enable-pause-pointsnapshots are pre-line (values are captured before the target line executes). To observe "the value right after this assignment", callers must target the next statement line or the method's closing brace — and the closing-brace form triggers a (correct) warning that every return path reaches that line.Tester quote:
Ask: a
--snapshot-timing post-lineoption, since "read the value just after the assignment" is the most common use of a pause point in E2E verification.Why deferred
Valid and well-motivated (reported 5/10, re-rated 4/10), but it changes sequence-point selection for the injected pause await and needs its own design pass (where "after line N" lands when line N is a call, a branch, or the last statement). Deferred from the R21 fix round for scope; candidate for a future round.