{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":")"}]}
                    )
                            .map(|(index, &arg)| (arg.shrink_to_lo(), format!("{index}: "))),
                } else {