(expr: &MirRelationExpr)
| 640 | } |
| 641 | |
| 642 | pub(crate) fn assert_no_lets(expr: &MirRelationExpr) { |
| 643 | expr.visit_pre(|expr| { |
| 644 | assert!(!matches!(expr, MirRelationExpr::Let { .. })); |
| 645 | }); |
| 646 | } |
| 647 | |
| 648 | /// Asserts that `expr` in "LetRec-major" form. |
| 649 | /// |