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

Provided some existing type refreshment information, continue