Mark FStarLang#2933 fixed

mtzguido · Nov 30, 2023 · cffd0ac · cffd0ac
1 parent bac4ca3
commit cffd0ac
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/bug-reports/Bug2933.fst b/tests/bug-reports/Bug2933.fst
@@ -0,0 +1,4 @@
+module Bug2933
+
+[@@expect_failure [189]]
+type t = 123