Perché l'AST di Rust if-else usa tipi diversi per allora e per il resto?

Question

stavo scrivendo Rust plug-lint quando ho scoperto che la ruggine utilizza tipi diversi per rappresentare le else (Expr) Parti poi (Block) e di un if dichiarazione sia libsyntax::ast::ExprKind e librustc::hir::Expr_.

Ho bisogno che entrambi abbiano tipi comuni.

Devo usare solo una corrispondenza esplicita su hir::Expr_::ExprBlock, oppure la parte potrebbe essere qualcos'altro, e ho bisogno di fare un confronto più intelligente?

Da the source:

// ... 
pub enum Expr_ { 
    // ... 
    /// An `if` block, with an optional else block 
    /// 
    /// `if expr { block } else { expr }` 
    ExprIf(P<Expr>, P<Block>, Option<P<Expr>>), 
    // ... 
} 
// ... 

Answer 1

Questo è così possiamo distinguere

if x { 
    foo(); 
} else if y { 
    bar(); 
} 

da

if x { 
    foo(); 
} else { // note the block 
    if y { 
     bar(); 
    } 
} 

Il primo ha un ExprIf nel nodo della altrove Expr mentre la il secondo ha un ExprBlock contenente come ingle ExprIf -expression.