Merge pull request #1691 from crytic/low-level-call-conversion-fix

move assertion to proper branch
crytic · Mar 10, 2023 · e11ae90 · e11ae90
2 parents 2d6c4ee + 8bb4ffa
commit e11ae90
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py
@@ -577,9 +577,9 @@ def propagate_types(
                 if (isinstance(t, ElementaryType) and t.name == "address") or (
                     isinstance(t, TypeAlias) and t.underlying_type.name == "address"
                 ):
-                    # Cannot be a top level function with this.
-                    assert isinstance(node_function, FunctionContract)
                     if ir.destination.name == "this":
+                        # Cannot be a top level function with this.
+                        assert isinstance(node_function, FunctionContract)
                         # the target contract is the contract itself
                         return convert_type_of_high_and_internal_level_call(
                             ir, node_function.contract