From 2374b0673429d7450c2d20fb457b7bea22931d71 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Wed, 7 Sep 2022 17:29:38 +0300 Subject: [PATCH] Add test for void supertype --- test/aeso_compiler_tests.erl | 1 + .../polymorphism_variance_switching_void_supertype.aes | 5 +++++ 2 files changed, 6 insertions(+) create mode 100644 test/contracts/polymorphism_variance_switching_void_supertype.aes diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl index 57b25b4..ea684e4 100644 --- a/test/aeso_compiler_tests.erl +++ b/test/aeso_compiler_tests.erl @@ -203,6 +203,7 @@ compilable_contracts() -> "polymorphism_contract_interface_same_decl_multi_interface", "polymorphism_contract_interface_same_name_same_type", "polymorphism_variance_switching_chain_create", + "polymorphism_variance_switching_void_supertype", "missing_init_fun_state_unit", "complex_compare_leq", "complex_compare", diff --git a/test/contracts/polymorphism_variance_switching_void_supertype.aes b/test/contracts/polymorphism_variance_switching_void_supertype.aes new file mode 100644 index 0000000..23436f5 --- /dev/null +++ b/test/contracts/polymorphism_variance_switching_void_supertype.aes @@ -0,0 +1,5 @@ +payable contract interface SalesOffer = + entrypoint init : (address, address, int, int) => void + +payable contract Test : SalesOffer = + entrypoint init(_ : address, _ : address, _ : int, _ : int) = ()