clarify comment

aptos-labs · Mar 12, 2024 · 29a3d7d · 29a3d7d
1 parent c09ecca
commit 29a3d7d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/third_party/move/move-compiler-v2/src/ast_simplifier.rs b/third_party/move/move-compiler-v2/src/ast_simplifier.rs
@@ -13,7 +13,8 @@
 //!
 //! More details:
 //! - Do flow-insensitive constant propagation:
-//!   - identify "possibly modified" symbols which may have more than one value
+//!   - identify "possibly modified" symbols which may have more than one value,
+//!     or may have their value moved (possibly leaving none)
 //!   - for safe symbols whose value is a constant value, propagate
 //!     the value to the use site to enable simplifying code:
 //!     - inline a constant value