{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// to be switched to `PatBoundCtx::Or` and then `PatBoundCtx::Product` for each `p_i`.
    /// or-patterns (`p_0 | ... | p_n`) are encountered and the context needs
    /// When each `p_i` has been dealt with, the top set is merged with its parent.