{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"if"}]}
        if param.pat.is_never_pattern() {
        fcx.check_pat_top(param.pat, param_ty, ty_span, None, None);
            fcx.function_diverges_because_of_empty_arguments.set(Diverges::Always {