{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// as diverging), with some manual adjustments for control-flow
/// wake). Tracked semi-automatically (through type variables marked
/// primitives (approximating a CFG).