diff --git a/tests/parser/syntax/test_abi_decode.py b/tests/parser/syntax/test_abi_decode.py
new file mode 100644
index 0000000000..f05ff429cd
--- /dev/null
+++ b/tests/parser/syntax/test_abi_decode.py
@@ -0,0 +1,45 @@
+import pytest
+
+from vyper import compiler
+from vyper.exceptions import TypeMismatch
+
+fail_list = [
+    (
+        """
+@external
+def foo(j: uint256) -> bool:
+    s: bool = _abi_decode(j, bool, unwrap_tuple= False)
+    return s
+    """,
+        TypeMismatch,
+    ),
+    (
+        """
+@external
+def bar(j: String[32]) -> bool:
+    s: bool = _abi_decode(j, bool, unwrap_tuple= False)
+    return s
+    """,
+        TypeMismatch,
+    ),
+]
+
+
+@pytest.mark.parametrize("bad_code,exc", fail_list)
+def test_abi_encode_fail(bad_code, exc):
+    with pytest.raises(exc):
+        compiler.compile_code(bad_code)
+
+
+valid_list = [
+    """
+@external
+def foo(x: Bytes[32]) -> uint256:
+    return _abi_decode(x, uint256)
+    """
+]
+
+
+@pytest.mark.parametrize("good_code", valid_list)
+def test_abi_encode_success(good_code):
+    assert compiler.compile_code(good_code) is not None
diff --git a/vyper/builtins/functions.py b/vyper/builtins/functions.py
index 8cdd2a4b8b..f07202831d 100644
--- a/vyper/builtins/functions.py
+++ b/vyper/builtins/functions.py
@@ -2490,6 +2490,8 @@ def fetch_call_return(self, node):
         return output_type.typedef
 
     def infer_arg_types(self, node):
+        self._validate_arg_types(node)
+
         validate_call_args(node, 2, ["unwrap_tuple"])
 
         data_type = get_exact_type_from_node(node.args[0])