pub fn validate_expr_tree(codec: CodecId, tree: &LocatedExprTree) -> Result<()>Expand description
Check that a LocatedExprTree is structurally consistent with its Expr.
Walks the tree and verifies that every node’s child count and child
expressions match its Expr variant, returning a codec error tagged codec
on the first mismatch. A TreeDecoder can run this to
self-check its output before returning it.