Merge pull request #4208 from ethereum/extract-name-and-type-tests

Extract name and type tests

1 files changed, 10 insertions, 0 deletions

diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/287_conditional_expression_with_different_mapping.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/287_conditional_expression_with_different_mapping.sol
new file mode 100644
index 00000000..8139f3ed
--- /dev/null
+++ b/test/libsolidity/syntaxTests/nameAndTypeResolution/287_conditional_expression_with_different_mapping.sol
@@ -0,0 +1,10 @@
+contract C {
+    mapping(uint8 => uint8) table1;
+    mapping(uint32 => uint8) table2;
+
+    function f() public {
+        true ? table1 : table2;
+    }
+}
+// ----
+// TypeError: (121-143): True expression's type mapping(uint8 => uint8) doesn't match false expression's type mapping(uint32 => uint8).