feat: add is_dynamic_size attribute to type definitions

vyper/context/types/bases.py

@@ -187,6 +187,8 @@ class BaseTypeDefinition:
         If `True`, the value of this object cannot be modified after assignment.
     """
 
+    is_dynamic_size = False
+
     def __init__(
         self,
         location: DataLocation = DataLocation.UNSET,

vyper/context/types/indexable/sequence.py

@@ -66,6 +66,10 @@ def __init__(
     def __repr__(self):
         return f"{self.value_type}[{self.length}]"
 
+    @property
+    def is_dynamic_size(self):
+        return self.value_type.is_dynamic_size
+
     def get_index_type(self, node):
         if isinstance(node, vy_ast.Int):
             if node.value < 0:
@@ -107,6 +111,10 @@ def __init__(self, value_type: Tuple[BaseTypeDefinition, ...]) -> None:
     def __repr__(self):
         return self._id
 
+    @property
+    def is_dynamic_size(self):
+        return any(i for i in self.self.value_type if i.is_dynamic_size)
+
     def get_index_type(self, node):
         if not isinstance(node, vy_ast.Int):
             raise InvalidType("Tuple indexes must be literals", node)

vyper/context/types/meta/struct.py

@@ -28,6 +28,10 @@ def __init__(
         for key, type_ in members.items():
             self.add_member(key, type_)
 
+    @property
+    def is_dynamic_size(self):
+        return any(i for i in self.members.values() if i.is_dynamic_size)
+
     def compare_type(self, other):
         return super().compare_type(other) and self._id == other._id
 

vyper/context/types/value/array_value.py

@@ -34,6 +34,8 @@ class _ArrayValueDefinition(ValueTypeDefinition):
         is applied to a literal definition.
     """
 
+    is_dynamic_size = True
+
     def __repr__(self):
         return f"{self._id}[{self.length}]"