pub fn let_else_stmt(
    pattern: Pat,
    ty: Option<Type>,
    expr: Expr,
    diverging: BlockExpr
) -> LetStmt