Function assert_cond_check 

fn assert_cond_check(
    cx: &ExtCtxt<'_>,
    span: Span,
    cond: Box<Expr>,
    then: Box<Expr>,
) -> Box<Expr>

match <cond> { true => {} _ => <then> }