set up Literal for synchronize_session

Fixes: #8280
Change-Id: I59bc6cc0483375f79e17952188e0c2cde926502c

1 files changed, 19 insertions, 0 deletions

diff --git a/test/ext/mypy/plain_files/session.py b/test/ext/mypy/plain_files/session.py
index 0dfa0a752..49f1b44cb 100644
--- a/test/ext/mypy/plain_files/session.py
+++ b/test/ext/mypy/plain_files/session.py
@@ -58,4 +58,23 @@ with Session(e) as sess:
     # EXPECTED_TYPE: List[Row[Tuple[int]]]
     reveal_type(rows2)
 
+    # test #8280
+
+    sess.query(User).update(
+        {"name": User.name + " some name"}, synchronize_session="fetch"
+    )
+    sess.query(User).update(
+        {"name": User.name + " some name"}, synchronize_session=False
+    )
+    sess.query(User).update(
+        {"name": User.name + " some name"}, synchronize_session="evaluate"
+    )
+
+    sess.query(User).update(
+        {"name": User.name + " some name"},
+        # EXPECTED_MYPY: Argument "synchronize_session" to "update" of "Query" has incompatible type  # noqa: E501
+        synchronize_session="invalid",
+    )
+    sess.query(User).update({"name": User.name + " some name"})
+
 # more result tests in typed_results.py