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