{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Invoked for each `R0 member of [R1..Rn]` constraint.
    /// `scc` is the SCC containing R0, and `choice_regions` are the