Add test for new fixme behaviour

slackhq · Oct 18, 2024 · 796956e · 796956e
1 parent 072a7e5
commit 796956e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/tests/inference/Arg/coverInvalidArg/input.hack 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
@@ -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
Original file line number	Diff line number	Diff line change
		@@ -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