{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
                        {
                                provided_arg_tys.get(ProvidedIdx::from_usize(arg_idx.index() - 1))
                            // Include previous comma