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