[Gardening] Clarified move_value comment.

nate-chandler · nate-chandler · commit 5991dc5bb9ed · 2023-07-14T11:32:24.000-07:00
It's not and shouldn't become a forwarding consume.  It introduces a
separate lifetime.
diff --git a/lib/SIL/IR/OperandOwnership.cpp b/lib/SIL/IR/OperandOwnership.cpp
@@ -294,8 +294,7 @@ OPERAND_OWNERSHIP(DestroyingConsume, DestroyValue)
 OPERAND_OWNERSHIP(DestroyingConsume, EndLifetime)
 OPERAND_OWNERSHIP(DestroyingConsume, BeginCOWMutation)
 OPERAND_OWNERSHIP(DestroyingConsume, EndCOWMutation)
-
-// TODO: Should this be a forwarding consume.
+// The move_value instruction creates a distinct lifetime.
 OPERAND_OWNERSHIP(DestroyingConsume, MoveValue)
 
 // Instructions that move an owned value.
