add a comment

tserg · Jun 27, 2023 · 6f535a1 · 6f535a1
1 parent 51701e9
commit 6f535a1
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/vyper/semantics/analysis/local.py b/vyper/semantics/analysis/local.py
@@ -559,10 +559,14 @@ def __init__(self, fn_node: ContractFunctionT):
         self.func = fn_node
 
     def visit(self, node, typ):
-        # recurse and typecheck in case we are being fed the wrong type for some reason.
-        # note that `validate_expected_type` is unnecessary for nodes that already
-        # call `get_exact_type_from_node` and `get_possible_types_from_node` because
-        # `validate_expected_type` would be calling the same function again.
+        # recurse and typecheck in case we are being fed the wrong type for
+        # some reason. note that `validate_expected_type` is unnecessary
+        # for nodes that already call `get_exact_type_from_node` and
+        # `get_possible_types_from_node` because `validate_expected_type`
+        # would be calling the same function again.
+        # CMC 2023-06-27 would be cleanest to call validate_expected_type()
+        # before recursing but maybe needs some refactoring before that
+        # can happen.
         super().visit(node, typ)
 
         # annotate