test: cover translatable nested rules and ANY two-group composition

Add unit tests for a rule carrying both conditions and a nested rule, and
for an ANY rule with both groups, asserting the full translated SQL. These
exercise the previously-uncovered nested-rule and two-group-AND paths in
translate_rule.

beep boop

Author: khvn26

tests/test_translator_unit.py

@@ -294,6 +294,86 @@ def test_translate_segment__rule_with_no_conditions_or_nested_rules__matches_all
     assert translate_segment(seg, _ctx()) == "(TRUE)"
 
 
+def test_translate_segment__rule_with_conditions_and_nested_rule__ands_the_two_groups() -> None:
+    # Given a rule carrying both a condition and a (translatable) nested rule
+    seg: SegmentContext = {
+        "key": "11",
+        "name": "s",
+        "rules": [
+            {
+                "type": "ALL",
+                "conditions": [{"operator": "EQUAL", "property": "plan", "value": "growth"}],
+                "rules": [
+                    {
+                        "type": "ALL",
+                        "conditions": [{"operator": "EQUAL", "property": "country", "value": "GB"}],
+                    }
+                ],
+            }
+        ],
+    }
+
+    # When translated
+    sql = translate_segment(seg, _ctx())
+
+    # Then the condition group and the nested-rule group are AND-ed together
+    # (mirroring the engine: matches_conditions AND matches_rules)
+    assert sql == (
+        "(((("
+        "if(i.traits.`plan` IS NULL, NULL, toString(i.traits.`plan`)) IS NOT NULL"
+        " AND ((toString(i.traits.`plan`) = 'growth') OR (i.traits.`plan`.:Bool = true))"
+        "))) AND (((("
+        "if(i.traits.`country` IS NULL, NULL, toString(i.traits.`country`)) IS NOT NULL"
+        " AND ((toString(i.traits.`country`) = 'GB') OR (i.traits.`country`.:Bool = true))"
+        ")))))"
+    )
+
+
+def test_translate_segment__any_rule_with_conditions_and_nested_rule__ors_within_ands_across() -> (
+    None
+):
+    # Given an ANY rule with two conditions and a nested rule. The engine
+    # evaluates this as `any(conditions) AND any(rules)`, NOT a single OR over
+    # the merged set — so the two conditions OR together but the groups AND.
+    seg: SegmentContext = {
+        "key": "12",
+        "name": "s",
+        "rules": [
+            {
+                "type": "ANY",
+                "conditions": [
+                    {"operator": "EQUAL", "property": "plan", "value": "growth"},
+                    {"operator": "EQUAL", "property": "plan", "value": "scale"},
+                ],
+                "rules": [
+                    {
+                        "type": "ALL",
+                        "conditions": [{"operator": "EQUAL", "property": "country", "value": "GB"}],
+                    }
+                ],
+            }
+        ],
+    }
+
+    # When translated
+    sql = translate_segment(seg, _ctx())
+
+    # Then the two conditions OR together within their group, and that group is
+    # AND-ed with the nested-rule group — `any(conditions) AND any(rules)`.
+    assert sql == (
+        "(((("
+        "if(i.traits.`plan` IS NULL, NULL, toString(i.traits.`plan`)) IS NOT NULL"
+        " AND ((toString(i.traits.`plan`) = 'growth') OR (i.traits.`plan`.:Bool = true))"
+        ")) OR (("
+        "if(i.traits.`plan` IS NULL, NULL, toString(i.traits.`plan`)) IS NOT NULL"
+        " AND ((toString(i.traits.`plan`) = 'scale') OR (i.traits.`plan`.:Bool = true))"
+        "))) AND (((("
+        "if(i.traits.`country` IS NULL, NULL, toString(i.traits.`country`)) IS NOT NULL"
+        " AND ((toString(i.traits.`country`) = 'GB') OR (i.traits.`country`.:Bool = true))"
+        ")))))"
+    )
+
+
 def test_translate_segment__trait_key_with_hyphens__quotes_subcolumn_path() -> None:
     # Given a trait key with a hyphen (illegal as an unquoted SQL identifier)
     seg: SegmentContext = {