From ffb353aee9371b4e61a29bba7bb7f949e27e0db1 Mon Sep 17 00:00:00 2001
From: Alexander McCord <alex@mccord.dev>
Date: Sun, 26 May 2024 19:51:39 -0700
Subject: [PATCH] Redundant static_assert. Rework it a smidge.

---
 EqSat/include/Luau/Language.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/EqSat/include/Luau/Language.h b/EqSat/include/Luau/Language.h
index 0d967a6c..c2ca7ac5 100644
--- a/EqSat/include/Luau/Language.h
+++ b/EqSat/include/Luau/Language.h
@@ -122,8 +122,7 @@ public:
     template<typename T>
     Id field() const
     {
-        static_assert(std::is_base_of<FieldBase, T>::value);
-        static_assert(getIndex<T>() >= 0);
+        static_assert(std::disjunction_v<std::is_same<std::decay_t<T>, Fields>...>);
         return array[getIndex<T>()];
     }