diff --git a/icontract/_checkers.py b/icontract/_checkers.py
index e5909e2..19b1dcf 100644
--- a/icontract/_checkers.py
+++ b/icontract/_checkers.py
@@ -58,7 +58,13 @@ def _kwargs_from_call(param_names: List[str], kwdefaults: Dict[str, Any], args:
 
     # Override the defaults with the values actually suplied to the function.
     for i, func_arg in enumerate(args):
-        mapping[param_names[i]] = func_arg
+        if i < len(param_names):
+            mapping[param_names[i]] = func_arg
+        else:
+            # Silently ignore call arguments that were not specified in the function.
+            # This way we let the underlying decorated function raise the exception
+            # instead of frankensteining the exception here.
+            pass
 
     for key, val in kwargs.items():
         mapping[key] = val
@@ -336,7 +342,9 @@ def decorate_with_checker(func: CallableT) -> CallableT:
 
             resolved_kwargs['OLD'] = _Old(mapping=old_as_mapping)
 
-        # Execute the wrapped function
+        # Ideally, we would catch any exception here and strip the checkers from the traceback.
+        # Unfortunately, this can not be done in Python 3, see
+        # https://stackoverflow.com/questions/44813333/how-can-i-elide-a-function-wrapper-from-the-traceback-in-python-3
         result = func(*args, **kwargs)
 
         if postconditions:

Crashes when functions are given wrong number of (positional) arguments
The following case, where `f` is given one too many arguments, should give the _original error message_ `TypeError: f() takes 0 positional arguments but 1 was given`:

```python
import icontract


@icontract.require(lambda: True)
def f():
    pass


f(0)
```

Instead, icontract crashes with the following traceback:
```
Traceback (most recent call last):
  File "f.py", line 9, in <module>
    f(0)
  File "/data/envs/e37/lib/python3.7/site-packages/icontract/_checkers.py", line 281, in wrapper
    resolved_kwargs = _kwargs_from_call(param_names=param_names, kwdefaults=kwdefaults, args=args, kwargs=kwargs)
  File "/data/envs/e37/lib/python3.7/site-packages/icontract/_checkers.py", line 61, in _kwargs_from_call
    mapping[param_names[i]] = func_arg
IndexError: list index out of range
```

This makes it difficult to locate the actual position of the bug.
diff --git a/tests/test_precondition.py b/tests/test_precondition.py
index 8709edb..0d4a8dc 100644
--- a/tests/test_precondition.py
+++ b/tests/test_precondition.py
@@ -509,6 +509,34 @@ class TestInvalid(unittest.TestCase):
         self.assertEqual('Failed to negate the evaluation of the condition.',
                          tests.error.wo_mandatory_location(str(value_error)))
 
+    def test_unexpected_positional_argument(self):
+        @icontract.require(lambda: True)
+        def some_func() -> None:
+            pass
+
+        type_error = None  # type: Optional[TypeError]
+        try:
+            some_func(0)  # pylint: disable=too-many-function-args
+        except TypeError as err:
+            type_error = err
+
+        self.assertIsNotNone(type_error)
+        self.assertEqual('some_func() takes 0 positional arguments but 1 was given', str(type_error))
+
+    def test_unexpected_keyword_argument(self):
+        @icontract.require(lambda: True)
+        def some_func() -> None:
+            pass
+
+        type_error = None  # type: Optional[TypeError]
+        try:
+            some_func(x=0)  # pylint: disable=unexpected-keyword-arg
+        except TypeError as err:
+            type_error = err
+
+        self.assertIsNotNone(type_error)
+        self.assertEqual("some_func() got an unexpected keyword argument 'x'", str(type_error))
+
 
 if __name__ == '__main__':
     unittest.main()

pip install -e .[dev]
parse_log_pytest
requirements.txt
tox>=3.0.0 pytest
3.6
requirements/base.txt
pytest --no-header -rA --tb=line --color=no -p no:cacheprovider -W ignore::DeprecationWarning
astroid==2.3.0
asttokens==1.1.15
attrs==22.2.0
certifi==2021.5.30
coverage==4.5.4
distlib==0.3.9
docutils==0.18.1
filelock==3.4.1
-e git+https://github.com/Parquery/icontract.git@21f6b8f51d4d458ee36b8a31cc091a5679a01000#egg=icontract
importlib-metadata==4.8.3
importlib-resources==5.4.0
iniconfig==1.1.1
isort==4.3.21
lazy-object-proxy==1.7.1
mccabe==0.6.1
mypy==0.641
mypy-extensions==0.4.4
packaging==21.3
platformdirs==2.4.0
pluggy==1.0.0
py==1.11.0
pydocstyle==2.1.1
Pygments==2.14.0
pylint==2.3.1
pyparsing==3.1.4
pytest==7.0.1
six==1.17.0
snowballstemmer==2.2.0
toml==0.10.2
tomli==1.2.3
tox==3.28.0
typed-ast==1.1.2
typing_extensions==4.1.1
virtualenv==20.17.1
wrapt==1.16.0
yapf==0.20.2
zipp==3.6.0

name: icontract
channels:
  - defaults
  - https://repo.anaconda.com/pkgs/main
  - https://repo.anaconda.com/pkgs/r
  - conda-forge
dependencies:
  - _libgcc_mutex=0.1=main
  - _openmp_mutex=5.1=1_gnu
  - ca-certificates=2025.2.25=h06a4308_0
  - certifi=2021.5.30=py36h06a4308_0
  - ld_impl_linux-64=2.40=h12ee557_0
  - libffi=3.3=he6710b0_2
  - libgcc-ng=11.2.0=h1234567_1
  - libgomp=11.2.0=h1234567_1
  - libstdcxx-ng=11.2.0=h1234567_1
  - ncurses=6.4=h6a678d5_0
  - openssl=1.1.1w=h7f8727e_0
  - pip=21.2.2=py36h06a4308_0
  - python=3.6.13=h12debd9_1
  - readline=8.2=h5eee18b_0
  - setuptools=58.0.4=py36h06a4308_0
  - sqlite=3.45.3=h5eee18b_0
  - tk=8.6.14=h39e8969_0
  - wheel=0.37.1=pyhd3eb1b0_0
  - xz=5.6.4=h5eee18b_1
  - zlib=1.2.13=h5eee18b_1
  - pip:
      - astroid==2.3.0
      - asttokens==1.1.15
      - attrs==22.2.0
      - coverage==4.5.4
      - distlib==0.3.9
      - docutils==0.18.1
      - filelock==3.4.1
      - importlib-metadata==4.8.3
      - importlib-resources==5.4.0
      - iniconfig==1.1.1
      - isort==4.3.21
      - lazy-object-proxy==1.7.1
      - mccabe==0.6.1
      - mypy==0.641
      - mypy-extensions==0.4.4
      - packaging==21.3
      - platformdirs==2.4.0
      - pluggy==1.0.0
      - py==1.11.0
      - pydocstyle==2.1.1
      - pygments==2.14.0
      - pylint==2.3.1
      - pyparsing==3.1.4
      - pytest==7.0.1
      - six==1.17.0
      - snowballstemmer==2.2.0
      - toml==0.10.2
      - tomli==1.2.3
      - tox==3.28.0
      - typed-ast==1.1.2
      - typing-extensions==4.1.1
      - virtualenv==20.17.1
      - wrapt==1.16.0
      - yapf==0.20.2
      - zipp==3.6.0
prefix: /opt/conda/envs/icontract

tests/test_precondition.py::TestInvalid::test_unexpected_positional_argument
tests/test_precondition.py::TestOK::test_that_it_works tests/test_precondition.py::TestViolation::test_condition_as_function tests/test_precondition.py::TestViolation::test_condition_as_function_with_default_argument_value tests/test_precondition.py::TestViolation::test_condition_as_function_with_default_argument_value_set tests/test_precondition.py::TestViolation::test_only_with_condition_arg tests/test_precondition.py::TestViolation::test_with_default_values tests/test_precondition.py::TestViolation::test_with_description tests/test_precondition.py::TestViolation::test_with_multiple_comparators tests/test_precondition.py::TestViolation::test_with_pathlib tests/test_precondition.py::TestViolation::test_with_stacked_decorators tests/test_precondition.py::TestError::test_as_function tests/test_precondition.py::TestError::test_as_function_with_outer_scope tests/test_precondition.py::TestError::test_as_type tests/test_precondition.py::TestError::test_with_different_args_from_condition tests/test_precondition.py::TestError::test_with_empty_args tests/test_precondition.py::TestToggling::test_enabled tests/test_precondition.py::TestInClass::test_deleter tests/test_precondition.py::TestInClass::test_getter tests/test_precondition.py::TestInClass::test_instance_method tests/test_precondition.py::TestInClass::test_setter tests/test_precondition.py::TestInvalid::test_error_with_invalid_arguments tests/test_precondition.py::TestInvalid::test_no_boolyness tests/test_precondition.py::TestInvalid::test_unexpected_keyword_argument tests/test_precondition.py::TestInvalid::test_unexpected_precondition_arguments
icontract/_checkers.py
icontract/_checkers.py