Function mz_transform::normalize_lets::support::refresh_types_effector

source · 
fn refresh_types_effector(
    expr: &mut MirRelationExpr,
    types: &BTreeMap<LocalId, RelationType>
) -> Result<(), TransformError>
Expand description

Applies types to all Get nodes in expr.

This no longer considers new bindings, and will error if applied to expressions containing Let and LetRec stages.