Merge pull request #478 from jinko-core/forbid-generic-calls-on-non-g…

…eneric-decls

Forbid generic calls on non generic decls

src/instruction/function_call.rs

@@ -308,6 +308,15 @@ impl Generic for FunctionCall {
                 None => return,
             };
 
+            if !self.generics.is_empty() && dec.generics().is_empty() {
+                // FIXME: Format generic list in error too
+                ctx.error(Error::new(ErrKind::Generics).with_msg(format!(
+                    "calling non-generic function with generic arguments: `{}`",
+                    self.name()
+                )));
+                return;
+            }
+
             let type_map =
                 match GenericMap::create(dec.generics(), &self.generics, &mut ctx.typechecker) {
                     Err(e) => {

tests/ft/regression/462.jk

@@ -0,0 +1,3 @@
+func id(x: int) -> int { x }
+
+id[int](15); // error

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