From 1e7afd12e9c2fd61adabaf7218e31dc9f8be0fcb Mon Sep 17 00:00:00 2001
From: Rudy Ges <k@klabz.org>
Date: Wed, 22 Jan 2025 15:38:25 +0100
Subject: [PATCH] Add test for #6066

---
 tests/misc/projects/Issue6066/Main.hx      | 12 ++++++++++++
 tests/misc/projects/Issue6066/compile.hxml |  1 +
 2 files changed, 13 insertions(+)
 create mode 100644 tests/misc/projects/Issue6066/Main.hx
 create mode 100644 tests/misc/projects/Issue6066/compile.hxml

diff --git a/tests/misc/projects/Issue6066/Main.hx b/tests/misc/projects/Issue6066/Main.hx
new file mode 100644
index 00000000000..7cd3f994468
--- /dev/null
+++ b/tests/misc/projects/Issue6066/Main.hx
@@ -0,0 +1,12 @@
+typedef S = {a:Int, ?b:Int};
+
+class Main {
+    static function f1(a:S):Void {}
+    static function f2<T:S>(a:T):Void {}
+
+    static function main() {
+        f1({a: 1}); // works
+        f2({a: 1}); // Constraint check failure: { a : Int } should be { ?b : Null<Int>, a : Int }
+        f2(({a: 1} : S)); // works
+    }
+}
diff --git a/tests/misc/projects/Issue6066/compile.hxml b/tests/misc/projects/Issue6066/compile.hxml
new file mode 100644
index 00000000000..42409e72918
--- /dev/null
+++ b/tests/misc/projects/Issue6066/compile.hxml
@@ -0,0 +1 @@
+-main Main