fn expr_if_not( cx: &ExtCtxt<'_>, span: Span, cond: P<Expr>, then: P<Expr>, els: Option<P<Expr>>) -> P<Expr>