From 812a5dcdbddaed8c1db5f6d9619be73dc15b70c2 Mon Sep 17 00:00:00 2001 From: Paul Masurel Date: Wed, 9 Sep 2026 18:08:26 +0200 Subject: [PATCH] added comment following CR --- jitexpr/src/functions/mod.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/jitexpr/src/functions/mod.rs b/jitexpr/src/functions/mod.rs index 1fd43f9ae..ad04b3edb 100644 --- a/jitexpr/src/functions/mod.rs +++ b/jitexpr/src/functions/mod.rs @@ -221,6 +221,10 @@ pub(crate) trait FnCall: std::fmt::Debug + Into { /// Implementations validate their signature, recursively infer every argument, update /// `inferred_types` with the accepted types for variables, and return the possible result /// types that remain after intersecting with `target_type`. + /// + /// As we recursively visit the argument, we encounter variables. + /// This method is meant to restrict the set of accept types associated to each + /// variable name by mutating their inferred type set, found in inferred_types map. fn infer_types<'a>( args: &'a [UntypedExpr], target_type: InferredTypeSet,