From 86ecc212af832ea964b7843fc90aad9de06f72e4 Mon Sep 17 00:00:00 2001
From: Alexander McCord <alex@mccord.dev>
Date: Mon, 24 Mar 2025 18:39:04 -0700
Subject: [PATCH] Another test.

---
 tests/TypeInfer.refinements.test.cpp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/tests/TypeInfer.refinements.test.cpp b/tests/TypeInfer.refinements.test.cpp
index 55b34ece..f3d1a09d 100644
--- a/tests/TypeInfer.refinements.test.cpp
+++ b/tests/TypeInfer.refinements.test.cpp
@@ -2589,4 +2589,22 @@ TEST_CASE_FIXTURE(Fixture, "refine_just_the_read_property")
     CHECK_EQ("Foo & { read p: ~true }", toString(requireTypeAtPosition({7, 12})));
 }
 
+TEST_CASE_FIXTURE(Fixture, "refine_just_the_read_property_typestate")
+{
+    ScopedFastFlag sff[]{
+        {FFlag::LuauSolverV2, true},
+        {FFlag::LuauRefineJustTheReadProperty, true},
+    };
+
+    CheckResult result = check(R"(
+        type Foo = { p: {}? }
+
+        function f(x: Foo)
+            if not x.p then x.p = {} end
+        end
+    )");
+
+    LUAU_REQUIRE_NO_ERRORS(result);
+}
+
 TEST_SUITE_END();