Warum verwendet Rust's if-else AST verschiedene Arten für dann und sonst?

Question

Ich schrieb Rust Fussel-Plugin, wenn ich festgestellt, dass Rust verschiedene Arten verwendet die dann (Block) und sonst (Expr) Teile einer if Aussage in beiden libsyntax::ast::ExprKind und librustc::hir::Expr_ darzustellen.

Ich brauche sie beide, um gemeinsame Typen zu haben.

Sollte ich nur eine explizite Übereinstimmung über hir::Expr_::ExprBlock verwenden, sonst könnte Teil etwas anderes sein, und ich muss einen schlaueren Vergleich machen?

Von 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

Dies wird, so dass wir

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

von

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

Erstere ExprIf in dem Knoten der an anderen Expr hat, während die unterscheiden können Sekunde hat eine ExprBlock enthält als single ExprIf -ausdruck.