pub(crate) fn assert_no_lets(expr: &MirRelationExpr)