From 796956e436ba98c2e9584e3d8b534034e35c3dc5 Mon Sep 17 00:00:00 2001
From: Matt Brown <matthewbrown@slack-corp.com>
Date: Fri, 18 Oct 2024 13:39:21 -0400
Subject: [PATCH] Add test for new fixme behaviour

---
 tests/inference/Arg/coverInvalidArg/input.hack | 5 +++++
 tests/inference/Arg/coverInvalidArg/output.txt | 2 ++
 2 files changed, 7 insertions(+)
 create mode 100644 tests/inference/Arg/coverInvalidArg/input.hack
 create mode 100644 tests/inference/Arg/coverInvalidArg/output.txt

diff --git a/tests/inference/Arg/coverInvalidArg/input.hack b/tests/inference/Arg/coverInvalidArg/input.hack
new file mode 100644
index 00000000..d61ed182
--- /dev/null
+++ b/tests/inference/Arg/coverInvalidArg/input.hack
@@ -0,0 +1,5 @@
+function foo(int $a, int $b, int $c): void {}
+
+function main(): void {
+    foo('a', /* HH_FIXME[4110] */ 'b', 'c');
+}
diff --git a/tests/inference/Arg/coverInvalidArg/output.txt b/tests/inference/Arg/coverInvalidArg/output.txt
new file mode 100644
index 00000000..7f1e240c
--- /dev/null
+++ b/tests/inference/Arg/coverInvalidArg/output.txt
@@ -0,0 +1,2 @@
+ERROR: InvalidArgument - input.hack:4:9 - Argument 1 of foo expects int, different type string(a) provided
+ERROR: InvalidArgument - input.hack:4:40 - Argument 3 of foo expects int, different type string(c) provided