{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"fcx.function_diverges_because_of_empty_arguments.set(Diverges::Always"}]}
            fcx.function_diverges_because_of_empty_arguments.set(Diverges::Always {
        if param.pat.is_never_pattern() {
                span: param.pat.span,