From 6f535a12654d7e58f001d90562289d772420e854 Mon Sep 17 00:00:00 2001 From: Charles Cooper Date: Tue, 27 Jun 2023 09:02:15 -0700 Subject: [PATCH] add a comment --- vyper/semantics/analysis/local.py | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/vyper/semantics/analysis/local.py b/vyper/semantics/analysis/local.py index 948c3905ce..3d1e9b8ef1 100644 --- 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