pub trait HasLoopBody: AstNode { fn loop_body(&self) -> Option<BlockExpr> { ... } fn label(&self) -> Option<Label> { ... } }