{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// point P in the graph doesn't imply that it will be true at
    /// points because just because (say) `r1 == r2` was true at some
    /// some other point Q, in NLL.