{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"choice_regions:"}]}
        choice_regions: &[ty::RegionVid],
        member_constraint_index: NllMemberConstraintIndex,
    ) {