add interface test

tserg · May 18, 2023 · eff8438 · eff8438
1 parent b754a1b
commit eff8438
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/tests/parser/features/decorators/test_pure.py b/tests/parser/features/decorators/test_pure.py
@@ -143,3 +143,21 @@ def foo(x: uint256)-> bytes32:
         ),
         StateAccessViolation,
     )
+
+
+def test_invalid_interface(get_contract, assert_compile_failed):
+    assert_compile_failed(
+        lambda: get_contract(
+            """
+interface Foo:
+    def foo() -> uint256: payable
+
+
+@external
+@pure
+def bar(a: address) -> uint256:
+    return Foo(a).foo()
+    """
+        ),
+        StateAccessViolation,
+    )