From c7adc18911b130d25a5c60310bea78f5947bb0a8 Mon Sep 17 00:00:00 2001
From: Alexander McCord <alex@mccord.dev>
Date: Sat, 1 Jun 2024 20:37:50 -0700
Subject: [PATCH] `join` should be const.

---
 EqSat/include/Luau/EGraph.h        | 2 +-
 tests/EqSat.propositional.test.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/EqSat/include/Luau/EGraph.h b/EqSat/include/Luau/EGraph.h
index 6029b18f..3a18a361 100644
--- a/EqSat/include/Luau/EGraph.h
+++ b/EqSat/include/Luau/EGraph.h
@@ -39,7 +39,7 @@ struct Analysis final
         return tableMake[enode.index()](analysis, egraph, enode);
     }
 
-    void join(D& a, const D& b)
+    void join(D& a, const D& b) const
     {
         return analysis.join(a, b);
     }
diff --git a/tests/EqSat.propositional.test.cpp b/tests/EqSat.propositional.test.cpp
index 5e019adc..47a35cac 100644
--- a/tests/EqSat.propositional.test.cpp
+++ b/tests/EqSat.propositional.test.cpp
@@ -81,7 +81,7 @@ struct ConstantFold
         return std::nullopt;
     }
 
-    void join(Data& a, const Data& b)
+    void join(Data& a, const Data& b) const
     {
         if (!a && b)
             a = b;