From 7473a01a6d9b88b39c02a2f842f33006e62e78bd Mon Sep 17 00:00:00 2001
From: Matheus Aguiar <matheus.pit@gmail.com>
Date: Fri, 17 Jan 2025 11:58:13 -0300
Subject: [PATCH] fixup! add more tests

---
 .../contractBaseLocation/layout_specification_bytes.sol       | 4 ++++
 .../layout_specification_negative_number.sol                  | 3 +++
 2 files changed, 7 insertions(+)
 create mode 100644 test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_bytes.sol
 create mode 100644 test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_negative_number.sol

diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_bytes.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_bytes.sol
new file mode 100644
index 000000000000..320912c663aa
--- /dev/null
+++ b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_bytes.sol
@@ -0,0 +1,4 @@
+bytes32 constant b = "bytes";
+contract A layout at b[1] {}
+// ----
+// TypeError 1763: (51-55): Contract storage base location must be in range of type uint256. Current type is bytes1
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_negative_number.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_negative_number.sol
new file mode 100644
index 000000000000..9cabcc2ac7c0
--- /dev/null
+++ b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_negative_number.sol
@@ -0,0 +1,3 @@
+contract A layout at -1 {}
+// ----
+// TypeError 1763: (21-23): Contract storage base location must be in range of type uint256. Current type is int_const -1 Cannot implicitly convert signed literal to unsigned type.