{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
                            ) {
                                provided_arg_tys.get(last_idx.to_provided_idx()),
                                first_span.to(*last_span)