From a02a0cc86ccc2ca3e05a57debc34ac47379cf3ea Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Wed, 4 Mar 2026 00:48:10 -0300
Subject: generalize constraints in membership with quantification

---
 src/query_planner.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/query_planner.erl')

diff --git a/src/query_planner.erl b/src/query_planner.erl
index 52bffda..d995f88 100644
--- a/src/query_planner.erl
+++ b/src/query_planner.erl
@@ -586,7 +586,7 @@ compile_to_relation(DB, {materialize, SubPlan}) ->
         name = EphemeralName,
         tree = undefined,
         schema = compute_schema(DB, SubPlan),
-        constraints = #{},
+        constraints = constraint:empty_constraints(),
         cardinality = unknown,
         generator = GeneratorFun,
         membership_criteria = #{},
-- 
cgit v1.2.3