From b1548100d1844331c8b1da3b221b2fe752116942 Mon Sep 17 00:00:00 2001
From: Joe Savona <joesavona@fb.com>
Date: Tue, 31 Jan 2023 13:39:30 -0800
Subject: [PATCH] [be] Clarify type of value block final value before change

Makes the type of the final value of a ValueBlock more precise, prior to
changing it
---
 compiler/forget/src/HIR/HIR.ts                              | 2 +-
 compiler/forget/src/ReactiveScopes/BuildReactiveFunction.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/forget/src/HIR/HIR.ts b/compiler/forget/src/HIR/HIR.ts
index 334f2dfa69..633147ca38 100644
--- a/compiler/forget/src/HIR/HIR.ts
+++ b/compiler/forget/src/HIR/HIR.ts
@@ -63,7 +63,7 @@ export type ReactiveValueBlock = {
   kind: "value-block";
   instructions: ReactiveBlock;
   last: {
-    value: InstructionValue;
+    value: Place;
     id: InstructionId;
   } | null;
 };
diff --git a/compiler/forget/src/ReactiveScopes/BuildReactiveFunction.ts b/compiler/forget/src/ReactiveScopes/BuildReactiveFunction.ts
index 77bb7ebab6..ccb0ef487c 100644
--- a/compiler/forget/src/ReactiveScopes/BuildReactiveFunction.ts
+++ b/compiler/forget/src/ReactiveScopes/BuildReactiveFunction.ts
@@ -418,7 +418,7 @@ class Driver {
   visitValueBlock(
     parent: ReactiveBlock,
     block: BasicBlock,
-    terminalValue?: { value: InstructionValue; id: InstructionId }
+    terminalValue?: { value: Place; id: InstructionId }
   ): ReactiveValueBlock {
     const valueBlock: ReactiveValueBlock = {
       kind: "value-block",