Function mz_transform::normalize_lets::support::refresh_types

pub(super) fn refresh_types(
    expr: &mut MirRelationExpr
) -> Result<(), TransformError>

Visit LetRec stages and determine and update type information for Get nodes.

This method errors if the scalar type information has changed (number of columns, or types). It only refreshes the nullability and unique key information. As this information can regress, we do not error if the type weakens, even though that may be something we want to look into.