Added tests

test/libsolidity/syntaxTests/metaTypes/type_max.sol

@@ -0,0 +1,7 @@
+contract C {
+ function max() public returns (uint8) {
+ return type(int8).max;
+ }
+}
+// ----
+// TypeError 6359: (72-86): Return argument type int8 is not implicitly convertible to expected type (type of first return variable) uint8.

test/libsolidity/syntaxTests/metaTypes/type_max_from_ternary_expression.sol

@@ -0,0 +1,8 @@
+contract C {
+ function max(bool isUint) public returns (uint8) {
+ return (isUint ? type(uint8) : type(int8)).max;
+ }
+}
+// ----
+// TypeError 9717: (93-104): Invalid mobile type in true expression.
+// TypeError 3703: (107-117): Invalid mobile type in false expression.

test/libsolidity/syntaxTests/metaTypes/type_runtimecode.sol

@@ -0,0 +1,11 @@
+contract A {
+ function f() public {}
+}
+
+contract C {
+ function f() public returns (bytes memory) {
+ return type(A).runtimeCode;
+ }
+}
+// ----
+// Warning 2018: (60-146): Function state mutability can be restricted to pure

test/libsolidity/syntaxTests/metaTypes/type_runtimecode_from_ternary_expression_.sol

@@ -0,0 +1,16 @@
+contract A {
+ function f() public {}
+}
+
+contract B {
+ function g() public {}
+}
+
+contract C {
+ function f(bool getA) public returns (bytes memory) {
+ return (getA ? type(A) : type(B)).runtimeCode;
+ }
+}
+// ----
+// TypeError 9717: (180-187): Invalid mobile type in true expression.
+// TypeError 3703: (190-197): Invalid mobile type in false expression.