Merge pull request #5947 from ethereum/incr-type-checker-cov

Increase coverage in TypeChecker

test/libsolidity/syntaxTests/inheritance/reference_non_base_ctor.sol

@@ -0,0 +1,6 @@
+contract X {}
+contract D {
+    constructor() X(5) public {}
+}
+// ----
+// TypeError: (45-49): Referenced declaration is neither modifier nor base class.

test/libsolidity/syntaxTests/nameAndTypeResolution/396_invalid_mobile_type.sol

@@ -1,8 +1,10 @@
     contract C {
         function f() public {
             // Invalid number
+            78901234567890123456789012345678901234567890123456789345678901234567890012345678012345678901234567;
             [1, 78901234567890123456789012345678901234567890123456789345678901234567890012345678012345678901234567];
         }
     }
 // ----
-// TypeError: (93-191): Invalid rational number.
+// TypeError: (89-187): Invalid rational number.
+// TypeError: (205-303): Invalid rational number.

test/libsolidity/syntaxTests/nameAndTypeResolution/585_abi_decode_with_unsupported_types.sol

@@ -0,0 +1,8 @@
+contract C {
+	struct s { uint a; uint b; }
+    function f() pure public {
+        abi.decode("", (s));
+    }
+}
+// ----
+// TypeError: (98-99): Decoding type struct C.s memory not supported.

test/libsolidity/syntaxTests/nameAndTypeResolution/586_invalid_types_for_constructor_call.sol

@@ -0,0 +1,12 @@
+contract C {
+    constructor(bytes32 _arg) public {
+    }
+}
+
+contract A {
+    function f() public {
+        new  C((1234));
+    }
+}
+// ----
+// TypeError: (115-121): Invalid type for argument in function call. Invalid implicit conversion from int_const 1234 to bytes32 requested.

test/libsolidity/syntaxTests/nameAndTypeResolution/587_event_param_type_outside_storage.sol

@@ -0,0 +1,7 @@
+contract c {
+    event e(uint indexed a, mapping(uint => uint) indexed b, bool indexed c, uint indexed d, uint indexed e) anonymous;
+}
+// ----
+// TypeError: (41-72): Type is required to live outside storage.
+// TypeError: (41-72): Internal or recursive type is not allowed as event parameter type.
+// TypeError: (17-132): More than 4 indexed arguments for anonymous event.

test/libsolidity/syntaxTests/nameAndTypeResolution/588_inline_assembly_two_stack_slots.sol

@@ -0,0 +1,10 @@
+contract C {
+    function f() pure external {
+        function() external two_stack_slots;
+        assembly {
+            let x :=  two_stack_slots
+        }
+    }
+}
+// ----
+// TypeError: (132-147): Only types that use one stack slot are supported.

test/libsolidity/syntaxTests/returnExpressions/single_return_mismatching_type.sol

@@ -0,0 +1,9 @@
+contract C
+{
+    function g() public pure returns (uint)
+    {
+        return "string";
+    }
+}
+// ----
+// TypeError: (78-86): Return argument type literal_string "string" is not implicitly convertible to expected type (type of first return variable) uint256.

test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_invalid_arg_type.sol

@@ -0,0 +1,8 @@
+contract C {
+  function f() public pure {
+    abi.decode(uint, uint);
+  }
+}
+// ----
+// TypeError: (57-61): Invalid type for argument in function call. Invalid implicit conversion from type(uint256) to bytes memory requested.
+// TypeError: (63-67): The second argument to "abi.decode" has to be a tuple of types.