pub fn pull_types_up(
root: ExprId,
arena: &mut ExprArena,
types: &mut TypeTable,
component_dependencies: &ComponentDependency,
) -> Result<(), RibTypeErrorInternal>Expand description
Post-order traversal: for each node, read the types of its children from
TypeTable to compute/update the node’s own type.