ft: Add regression test case for #462

jinko-core · Jan 16, 2022 · 9a32556 · 9a32556
1 parent 39b94c5
commit 9a32556
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/ft/regression/462.jk b/tests/ft/regression/462.jk
@@ -0,0 +1,3 @@
+func id(x: int) -> int { x }
+
+id[int](15); // error
diff --git a/tests/ft/regression/regression.yml b/tests/ft/regression/regression.yml
@@ -56,3 +56,8 @@ tests:
       - "tests/ft/regression/468.jk"
     stdout: "in test!\n"
     exit_code: 0
+  - name: "Forbid calling non-generic fn with generic arguments #462"
+    binary: "target/debug/jinko"
+    args:
+      - "tests/ft/regression/462.jk"
+    exit_code: 1
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		func id(x: int) -> int { x }

		id[int](15); // error