{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"///"}]}
///   the "result" of that statement).
///   subtleties where a statement's effect only starts being visible at the successor point, via
/// - constraints that traverse the CFG via the same region, `a@p: a@q`, where `p` is a predecessor