From cfdcaa230d5738ebe651738f0f9f5f23dc070c57 Mon Sep 17 00:00:00 2001
From: "Johan B.W. de Vries" <info@jbwdevries.nl>
Date: Wed, 21 May 2025 19:22:45 +0200
Subject: [PATCH] Added a missing type check test

---
 tests/integration/test_lang/test_function_calls.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/tests/integration/test_lang/test_function_calls.py b/tests/integration/test_lang/test_function_calls.py
index aab2fe2..475b658 100644
--- a/tests/integration/test_lang/test_function_calls.py
+++ b/tests/integration/test_lang/test_function_calls.py
@@ -32,3 +32,15 @@ def helper(left: i32, right: i32) -> i32:
     result = Suite(code_py).run_code()
 
     assert 7 == result.returned_value
+
+@pytest.mark.integration_test
+@pytest.mark.skip('FIXME: Type checking')
+def test_call_invalid_type():
+    code_py = """
+def helper(left: i32) -> i32:
+    return left()
+"""
+
+    result = Suite(code_py).run_code()
+
+    assert 7 == result.returned_value