{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"provided_arg_tys.get(third_idx.to_provided_idx()),"}]}
                                provided_arg_tys.get(third_idx.to_provided_idx()),
                                provided_arg_tys.get(first_idx.to_provided_idx()),
                            ) {