From 22db7ce28b530cb721f56b832064b0326a31fe3e Mon Sep 17 00:00:00 2001
From: CohenArthur <arthur.cohen@epita.fr>
Date: Sun, 16 Jan 2022 20:33:47 +0100
Subject: [PATCH] ft: Add regression test case for #462

---
 tests/ft/regression/462.jk         | 3 +++
 tests/ft/regression/regression.yml | 5 +++++
 2 files changed, 8 insertions(+)
 create mode 100644 tests/ft/regression/462.jk

diff --git a/tests/ft/regression/462.jk b/tests/ft/regression/462.jk
new file mode 100644
index 00000000..4e959446
--- /dev/null
+++ 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
index 51671446..2d7595f3 100644
--- a/tests/ft/regression/regression.yml
+++ b/tests/ft/regression/regression.yml
@@ -34,3 +34,8 @@ tests:
     args:
       - "tests/ft/regression/284.jk"
     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