Skip to main content

push_types_down

rib

Function push_types_down 

Source 
pub fn push_types_down(
    root: ExprId,
    arena: &ExprArena,
    types: &mut TypeTable,
) -> Result<(), RibTypeErrorInternal>
Expand description

Pre-order traversal: for each parent node, read its type from TypeTable and push derived types down into child nodes.