add comments

aptos-labs · Jul 2, 2024 · 1b199fb · 1b199fb
1 parent 0f35b80
commit 1b199fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/third_party/move/move-model/src/builder/exp_builder.rs b/third_party/move/move-model/src/builder/exp_builder.rs
@@ -3501,6 +3501,7 @@ impl<'env, 'translator, 'module_translator> ExpTranslator<'env, 'translator, 'mo
         );
         if let Some(call) = index_call_opt {
             if !self.is_spec_mode() {
+                // if v[i] is on right hand side, need deref to get the value
                 let deref_id = self.new_node_id_with_type_loc(expected_type, loc);
                 return ExpData::Call(deref_id, Operation::Deref, vec![call.into_exp()]);
             }