From cffd0acc9e0868aff75f42e6d886a74349d10919 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 29 Nov 2023 14:58:33 -0800
Subject: [PATCH] Mark #2933 fixed

---
 tests/bug-reports/Bug2933.fst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 tests/bug-reports/Bug2933.fst

diff --git a/tests/bug-reports/Bug2933.fst b/tests/bug-reports/Bug2933.fst
new file mode 100644
index 00000000000..94ae6d22d1e
--- /dev/null
+++ b/tests/bug-reports/Bug2933.fst
@@ -0,0 +1,4 @@
+module Bug2933
+
+[@@expect_failure [189]]
+type t = 123