{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// smallest region `c` such that `a <= c` and `b <= c`.
    /// Neither `a` nor `b` may be an inference variable (hence the