{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"),"}]}
                        ),
                            if let None = args { "" } else { ", but with different arguments" },
                    );