{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"///"}]}
    /// slice.
    /// constraint, we keep two indices so that we can pull out a
    choice_regions: Vec<ty::RegionVid>,