{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"field_idx.map(|idx|"}]}
                    field_idx.map(|idx| idx.index()),
                    user_ty_index.map(|idx| idx.index()),
                )