fixup! Update and add tests

matheusaaguiar · matheusaaguiar · commit 4aae04484a42 · 2025-03-26T00:16:57.000-03:00
diff --git a/test/libsolidity/syntaxTests/storageLayoutSpecifier/address_constant.sol b/test/libsolidity/syntaxTests/storageLayoutSpecifier/address_constant.sol
@@ -0,0 +1,6 @@
+address constant x = 0xdCad3a6d3569DF655070DEd06cb7A1b2Ccd1D3AF;
+contract C layout at x {
+
+}
+// ----
+// TypeError 6396: (86-87): The base slot of the storage layout must evaluate to a rational number.
diff --git a/test/libsolidity/syntaxTests/storageLayoutSpecifier/bool_constant.sol b/test/libsolidity/syntaxTests/storageLayoutSpecifier/bool_constant.sol
@@ -0,0 +1,4 @@
+bool constant x = false;
+contract C layout at x {}
+// ----
+// TypeError 6396: (46-47): The base slot of the storage layout must evaluate to a rational number.
diff --git a/test/libsolidity/syntaxTests/storageLayoutSpecifier/bytes_constant.sol b/test/libsolidity/syntaxTests/storageLayoutSpecifier/bytes_constant.sol
@@ -0,0 +1,6 @@
+bytes32 constant x = "ABC";
+contract A layout at x {}
+contract C layout at x[1] {}
+// ----
+// TypeError 6396: (49-50): The base slot of the storage layout must evaluate to a rational number.
+// TypeError 6396: (75-79): The base slot of the storage layout must evaluate to a rational number.
diff --git a/test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_initialized_from_other_constant.sol b/test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_initialized_from_other_constant.sol
@@ -0,0 +1,4 @@
+uint constant x = 42;
+uint constant y = x * 2;
+contract C layout at y {}
+// ----
diff --git a/test/libsolidity/syntaxTests/storageLayoutSpecifier/int_constant.sol b/test/libsolidity/syntaxTests/storageLayoutSpecifier/int_constant.sol
@@ -0,0 +1,4 @@
+int constant x = 42;
+contract C layout at x {}
+// ----
+// TypeError 1481: (42-43): The base slot expression must be a constant unsigned integer value.
