{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"span:"}]}
                span: param.pat.span,
            fcx.function_diverges_because_of_empty_arguments.set(Diverges::Always {
                custom_note: Some("any code following a never pattern is unreachable"),