{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"diverges:"}]}
            diverges: Cell::new(Diverges::Maybe),
            coroutine_types: None,
            function_diverges_because_of_empty_arguments: Cell::new(Diverges::Maybe),