diff --git a/slither/solc_parsing/slither_compilation_unit_solc.py b/slither/solc_parsing/slither_compilation_unit_solc.py
index d12bda1b4..6dce9b005 100644
--- a/slither/solc_parsing/slither_compilation_unit_solc.py
+++ b/slither/solc_parsing/slither_compilation_unit_solc.py
@@ -24,6 +24,7 @@ from slither.solc_parsing.declarations.function import FunctionSolc
 from slither.solc_parsing.declarations.structure_top_level import StructureTopLevelSolc
 from slither.solc_parsing.exceptions import VariableNotFound
 from slither.solc_parsing.variables.top_level_variable import TopLevelVariableSolc
+from slither.solc_parsing.declarations.caller_context import CallerContextExpression
 
 logging.basicConfig()
 logger = logging.getLogger("SlitherSolcParsing")
@@ -57,7 +58,7 @@ def _handle_import_aliases(
             scope.renaming[local_name] = original_name
 
 
-class SlitherCompilationUnitSolc:
+class SlitherCompilationUnitSolc(CallerContextExpression):
     # pylint: disable=no-self-use,too-many-instance-attributes
     def __init__(self, compilation_unit: SlitherCompilationUnit):
         super().__init__()
@@ -95,6 +96,10 @@ class SlitherCompilationUnitSolc:
     def underlying_contract_to_parser(self) -> Dict[Contract, ContractSolc]:
         return self._underlying_contract_to_parser
 
+    @property
+    def slither_parser(self) -> "SlitherCompilationUnitSolc":
+        return self
+
     ###################################################################################
     ###################################################################################
     # region AST
diff --git a/tests/ast-parsing/compile/top-level-struct-0.8.0.sol-0.8.0-compact.zip b/tests/ast-parsing/compile/top-level-struct-0.8.0.sol-0.8.0-compact.zip
new file mode 100644
index 000000000..7cb2fb659
Binary files /dev/null and b/tests/ast-parsing/compile/top-level-struct-0.8.0.sol-0.8.0-compact.zip differ
diff --git a/tests/ast-parsing/expected/top-level-struct-0.8.0.sol-0.8.0-compact.json b/tests/ast-parsing/expected/top-level-struct-0.8.0.sol-0.8.0-compact.json
new file mode 100644
index 000000000..65dfd3b51
--- /dev/null
+++ b/tests/ast-parsing/expected/top-level-struct-0.8.0.sol-0.8.0-compact.json
@@ -0,0 +1,3 @@
+{
+  "BaseContract": {}
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/top-level-struct-0.8.0.sol b/tests/ast-parsing/top-level-struct-0.8.0.sol
new file mode 100644
index 000000000..8a335680c
--- /dev/null
+++ b/tests/ast-parsing/top-level-struct-0.8.0.sol
@@ -0,0 +1,18 @@
+struct my_struct {
+    uint[][] a; // works fine
+    uint[][3] b; // works fine
+    uint[3][] c; // fails
+    uint[3][3] d; // fails
+    uint[2**20] e; // works fine
+}
+contract BaseContract{
+    struct my_struct_2 {
+        uint[][] f; // works fine
+        uint[][3] g; // works fine
+        uint[3][] h; // works fine
+        uint[3][3] i; // works fine
+        uint[2**20] j; // works fine
+    }
+    
+    uint[3][] k; // works fine
+}
diff --git a/tests/test_ast_parsing.py b/tests/test_ast_parsing.py
index e96a129b8..47f230534 100644
--- a/tests/test_ast_parsing.py
+++ b/tests/test_ast_parsing.py
@@ -425,6 +425,7 @@ ALL_TESTS = [
     Test("free_functions/library_constant_function_collision.sol", ["0.8.12"]),
     Test("ternary-with-max.sol", ["0.8.15"]),
     Test("library_event-0.8.16.sol", ["0.8.16"]),
+    Test("top-level-struct-0.8.0.sol", ["0.8.0"]),
 ]
 # create the output folder if needed
 try: