{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"})();"}]}
                        })();
                            })
                        return (PatternRefutability::Irrefutable, has_type_ascription)