pull/2569/head
alpharush 1 month ago
parent 584d64c73f
commit 2075e6f1e9
  1. 19
      slither/slithir/operations/member.py

@ -33,14 +33,29 @@ class Member(OperationWithLValue):
# Can be an ElementaryType because of bytes.concat, string.concat # Can be an ElementaryType because of bytes.concat, string.concat
assert is_valid_rvalue(variable_left) or isinstance( assert is_valid_rvalue(variable_left) or isinstance(
variable_left, variable_left,
(Contract, Enum, Function, Event, CustomError, SolidityImportPlaceHolder, ElementaryType), (
Contract,
Enum,
Function,
Event,
CustomError,
SolidityImportPlaceHolder,
ElementaryType,
),
) )
assert isinstance(variable_right, Constant) assert isinstance(variable_right, Constant)
assert isinstance(result, ReferenceVariable) assert isinstance(result, ReferenceVariable)
super().__init__() super().__init__()
self._variable_left: Union[ self._variable_left: Union[
RVALUE, Contract, Enum, Function, Event, CustomError, SolidityImportPlaceHolder, ElementaryType RVALUE,
Contract,
Enum,
Function,
Event,
CustomError,
SolidityImportPlaceHolder,
ElementaryType,
] = variable_left ] = variable_left
self._variable_right = variable_right self._variable_right = variable_right
self._lvalue = result self._lvalue = result

Loading…
Cancel
Save