{"patch":"diff --git a\/compiler\/forget\/src\/HIR\/HIR.ts b\/compiler\/forget\/src\/HIR\/HIR.ts\nindex e3b0284ff2..aed96ccd6a 100644\n--- a\/compiler\/forget\/src\/HIR\/HIR.ts\n+++ b\/compiler\/forget\/src\/HIR\/HIR.ts\n@@ -266,7 +266,8 @@ export type Primitive = {\n * Range in which an identifier is mutable. Start and End refer to Instruction.id.\n * TODO(gsn): Type Instruction.id better and use it here.\n *\n- * Start is exclusive, End is inclusive (ie, the value is mutable at that instruction).\n+ * Start is inclusive, End is exclusive (ie, end is the \"first\" instruction for which\n+ * the value is not mutable).\n *\/\n export type MutableRange = {\n start: number;\ndiff --git a\/compiler\/forget\/src\/HIR\/InferMutableLifetimes.ts b\/compiler\/forget\/src\/HIR\/InferMutableLifetimes.ts\nindex d2c08f0e78..4e24ae60eb 100644\n--- a\/compiler\/forget\/src\/HIR\/InferMutableLifetimes.ts\n+++ b\/compiler\/forget\/src\/HIR\/InferMutableLifetimes.ts\n@@ -68,7 +68,7 @@ function inferPlace(place: Place, instr: Instruction) {\n case Effect.Freeze:\n return;\n case Effect.Mutate: {\n- place.identifier.mutableRange.end = instr.id;\n+ place.identifier.mutableRange.end = instr.id + 1;\n return;\n }\n default:\n@@ -126,7 +126,7 @@ export function inferMutableRanges(func: HIRFunction) {\n \n \/\/ Let's be optimistic and assume this lvalue is not mutable by\n \/\/ default.\n- lvalueId.mutableRange.end = instr.id;\n+ lvalueId.mutableRange.end = instr.id + 1;\n } else {\n inferPlace(instr.lvalue.place, instr);\n }\ndiff --git a\/compiler\/forget\/src\/HIR\/InferReactiveScopeVariables.ts b\/compiler\/forget\/src\/HIR\/InferReactiveScopeVariables.ts\nindex 0295a63a9b..f8d56ce833 100644\n--- a\/compiler\/forget\/src\/HIR\/InferReactiveScopeVariables.ts\n+++ b\/compiler\/forget\/src\/HIR\/InferReactiveScopeVariables.ts\n@@ -146,8 +146,7 @@ export function inferReactiveScopeVariables(fn: HIRFunction) {\n \/\/ Is the operand mutable at this given instruction\n function isMutable(instr: Instruction, place: Place): boolean {\n return (\n- \/\/ TODO: should start really be exclusive?\n- instr.id > place.identifier.mutableRange.start &&\n- instr.id <= place.identifier.mutableRange.end\n+ instr.id >= place.identifier.mutableRange.start &&\n+ instr.id < place.identifier.mutableRange.end\n );\n }\ndiff --git a\/compiler\/forget\/src\/HIR\/PrintHIR.ts b\/compiler\/forget\/src\/HIR\/PrintHIR.ts\nindex 2d5202058f..476444b84e 100644\n--- a\/compiler\/forget\/src\/HIR\/PrintHIR.ts\n+++ b\/compiler\/forget\/src\/HIR\/PrintHIR.ts\n@@ -258,7 +258,7 @@ function printInstructionValue(instrValue: InstructionValue): string {\n }\n \n function isMutable(range: MutableRange): boolean {\n- return range.end > range.start;\n+ return range.end > range.start + 1;\n }\n \n function printMutableRange(range: MutableRange): string {\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/alias-while.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/alias-while.expect.md\nindex 6afc2a3c6c..d538ef0e59 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/alias-while.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/alias-while.expect.md\n@@ -27,19 +27,19 @@ function mutate(x, y) {}\n \n ```\n bb0:\n- [1] Let mutate a$2_@0[0:8] = Object { }\n- [2] Let mutate b$3_@0[0:8] = Object { }\n- [3] Let mutate c$4_@0[0:8] = Object { }\n+ [1] Let mutate a$2_@0[0:9] = Object { }\n+ [2] Let mutate b$3_@0[0:9] = Object { }\n+ [3] Let mutate c$4_@0[0:9] = Object { }\n While test=bb1 loop=bb3 fallthrough=bb2\n bb1:\n predecessor blocks: bb0 bb3\n If (read cond$1) then:bb3 else:bb2\n bb3:\n predecessor blocks: bb1\n- [4] Let mutate z$5_@0[0:8] = read a$2_@0\n- [5] Reassign mutate a$2_@0[0:8] = read b$3_@0\n- [6] Reassign mutate b$3_@0[0:8] = read c$4_@0\n- [7] Reassign mutate c$4_@0[0:8] = read z$5_@0\n+ [4] Let mutate z$5_@0[0:9] = read a$2_@0\n+ [5] Reassign mutate a$2_@0[0:9] = read b$3_@0\n+ [6] Reassign mutate b$3_@0[0:9] = read c$4_@0\n+ [7] Reassign mutate c$4_@0[0:9] = read z$5_@0\n [8] Call mutate mutate$6_@0(mutate a$2_@0, mutate b$3_@0)\n Goto(Continue) bb1\n bb2:\n@@ -57,9 +57,9 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate a$2_@0[0:8] = Object { }\n- [2] Let mutate b$3_@0[0:8] = Object { }\n- [3] Let mutate c$4_@0[0:8] = Object { }\n+ [1] Let mutate a$2_@0[0:9] = Object { }\n+ [2] Let mutate b$3_@0[0:9] = Object { }\n+ [3] Let mutate c$4_@0[0:9] = Object { }\n \"]\n bb0_instrs --> bb0_terminal([\"While\"])\n end\n@@ -68,10 +68,10 @@ flowchart TB\n end\n subgraph bb3\n bb3_instrs[\"\n- [4] Let mutate z$5_@0[0:8] = read a$2_@0\n- [5] Reassign mutate a$2_@0[0:8] = read b$3_@0\n- [6] Reassign mutate b$3_@0[0:8] = read c$4_@0\n- [7] Reassign mutate c$4_@0[0:8] = read z$5_@0\n+ [4] Let mutate z$5_@0[0:9] = read a$2_@0\n+ [5] Reassign mutate a$2_@0[0:9] = read b$3_@0\n+ [6] Reassign mutate b$3_@0[0:9] = read c$4_@0\n+ [7] Reassign mutate c$4_@0[0:9] = read z$5_@0\n [8] Call mutate mutate$6_@0(mutate a$2_@0, mutate b$3_@0)\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/assignment-variations.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/assignment-variations.expect.md\nindex 9999c7c34e..8da05a5455 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/assignment-variations.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/assignment-variations.expect.md\n@@ -69,9 +69,9 @@ function f$0() {\n ```\n bb0:\n [1] Const mutate $2_@0 = 1\n- [2] Reassign mutate a$1_@1.b.c[0:4] = Binary read a$1_@1.b.c + read $2_@0\n+ [2] Reassign mutate a$1_@1.b.c[0:5] = Binary read a$1_@1.b.c + read $2_@0\n [3] Const mutate $3_@2 = 2\n- [4] Reassign mutate a$1_@1.b.c[0:4] = Binary read a$1_@1.b.c * read $3_@2\n+ [4] Reassign mutate a$1_@1.b.c[0:5] = Binary read a$1_@1.b.c * read $3_@2\n Return\n ```\n \n@@ -83,9 +83,9 @@ flowchart TB\n subgraph bb0\n bb0_instrs[\"\n [1] Const mutate $2_@0 = 1\n- [2] Reassign mutate a$1_@1.b.c[0:4] = Binary read a$1_@1.b.c + read $2_@0\n+ [2] Reassign mutate a$1_@1.b.c[0:5] = Binary read a$1_@1.b.c + read $2_@0\n [3] Const mutate $3_@2 = 2\n- [4] Reassign mutate a$1_@1.b.c[0:4] = Binary read a$1_@1.b.c * read $3_@2\n+ [4] Reassign mutate a$1_@1.b.c[0:5] = Binary read a$1_@1.b.c * read $3_@2\n \"]\n bb0_instrs --> bb0_terminal([\"Return\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/call.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/call.expect.md\nindex a2b8206209..a248fcbbf4 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/call.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/call.expect.md\n@@ -47,8 +47,8 @@ function foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:6] = Array []\n- [2] Const mutate b$3_@0[0:6] = Object { }\n+ [1] Const mutate a$2_@0[0:7] = Array []\n+ [2] Const mutate b$3_@0[0:7] = Object { }\n [3] Call mutate foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n [4] Const mutate $6_@1 = \"div\"\n [5] Let mutate _$5_@2 = JSX <\/read $6_@1>\n@@ -65,8 +65,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:6] = Array []\n- [2] Const mutate b$3_@0[0:6] = Object { }\n+ [1] Const mutate a$2_@0[0:7] = Array []\n+ [2] Const mutate b$3_@0[0:7] = Object { }\n [3] Call mutate foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n [4] Const mutate $6_@1 = 'div'\n [5] Let mutate _$5_@2 = JSX <\/read $6_@1>\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/component.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/component.expect.md\nindex 92d3f45df4..bf87d77f8f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/component.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/component.expect.md\n@@ -37,10 +37,10 @@ function Component(props) {\n bb0:\n [1] Const mutate items$2_@0 = read props$1.items\n [2] Const mutate maxItems$3_@1 = read props$1.maxItems\n- [3] Const mutate renderedItems$4_@2[3:14] = Array []\n- [4] Const mutate seen$5_@3[0:11] = New mutate Set$6_@3()\n+ [3] Const mutate renderedItems$4_@2[3:15] = Array []\n+ [4] Const mutate seen$5_@3[0:12] = New mutate Set$6_@3()\n [5] Const mutate $9_@4 = 0\n- [6] Const mutate max$7_@5[0:6] = Call mutate Math$8_@5.max(read $9_@4, read maxItems$3_@1)\n+ [6] Const mutate max$7_@5[0:7] = Call mutate Math$8_@5.max(read $9_@4, read maxItems$3_@1)\n Goto bb1\n bb1:\n predecessor blocks: bb0 bb5 bb10\n@@ -48,15 +48,15 @@ bb1:\n bb3:\n predecessor blocks: bb1\n [7] Const mutate $11_@6 = null\n- [8] Const mutate $12_@3[0:11] = Binary read item$10_@3 == read $11_@6\n+ [8] Const mutate $12_@3[0:12] = Binary read item$10_@3 == read $11_@6\n If (read $12_@3) then:bb8 else:bb9\n bb8:\n predecessor blocks: bb3\n- [9] Const mutate $13_@3[0:11] = read $12_@3\n+ [9] Const mutate $13_@3[0:12] = read $12_@3\n Goto bb7\n bb9:\n predecessor blocks: bb3\n- [10] Const mutate $13_@3[0:11] = Call mutate seen$5_@3.has(mutate item$10_@3)\n+ [10] Const mutate $13_@3[0:12] = Call mutate seen$5_@3.has(mutate item$10_@3)\n Goto bb7\n bb7:\n predecessor blocks: bb8 bb9\n@@ -98,10 +98,10 @@ flowchart TB\n bb0_instrs[\"\n [1] Const mutate items$2_@0 = read props$1.items\n [2] Const mutate maxItems$3_@1 = read props$1.maxItems\n- [3] Const mutate renderedItems$4_@2[3:14] = Array []\n- [4] Const mutate seen$5_@3[0:11] = New mutate Set$6_@3()\n+ [3] Const mutate renderedItems$4_@2[3:15] = Array []\n+ [4] Const mutate seen$5_@3[0:12] = New mutate Set$6_@3()\n [5] Const mutate $9_@4 = 0\n- [6] Const mutate max$7_@5[0:6] = Call mutate Math$8_@5.max(read $9_@4, read maxItems$3_@1)\n+ [6] Const mutate max$7_@5[0:7] = Call mutate Math$8_@5.max(read $9_@4, read maxItems$3_@1)\n \"]\n bb0_instrs --> bb0_terminal([\"Goto\"])\n end\n@@ -111,19 +111,19 @@ flowchart TB\n subgraph bb3\n bb3_instrs[\"\n [7] Const mutate $11_@6 = null\n- [8] Const mutate $12_@3[0:11] = Binary read item$10_@3 == read $11_@6\n+ [8] Const mutate $12_@3[0:12] = Binary read item$10_@3 == read $11_@6\n \"]\n bb3_instrs --> bb3_terminal([\"If (read $12_@3)\"])\n end\n subgraph bb8\n bb8_instrs[\"\n- [9] Const mutate $13_@3[0:11] = read $12_@3\n+ [9] Const mutate $13_@3[0:12] = read $12_@3\n \"]\n bb8_instrs --> bb8_terminal([\"Goto\"])\n end\n subgraph bb9\n bb9_instrs[\"\n- [10] Const mutate $13_@3[0:11] = Call mutate seen$5_@3.has(mutate item$10_@3)\n+ [10] Const mutate $13_@3[0:12] = Call mutate seen$5_@3.has(mutate item$10_@3)\n \"]\n bb9_instrs --> bb9_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-break.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-break.expect.md\nindex 76a11d6c87..65a4c91905 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-break.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-break.expect.md\n@@ -78,7 +78,7 @@ function Component(props) {\n \n ```\n bb0:\n- [1] Const mutate a_DEBUG$2_@0[1:4] = Array []\n+ [1] Const mutate a_DEBUG$2_@0[1:5] = Array []\n [2] Call mutate a_DEBUG$2_@0.push(read props$1.a)\n If (read props$1.b) then:bb2 else:bb1\n bb2:\n@@ -98,7 +98,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a_DEBUG$2_@0[1:4] = Array []\n+ [1] Const mutate a_DEBUG$2_@0[1:5] = Array []\n [2] Call mutate a_DEBUG$2_@0.push(read props$1.a)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.b)\"])\n@@ -141,7 +141,7 @@ function Component$0(props$1) {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[1:4] = Array []\n+ [1] Const mutate a$2_@0[1:5] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n If (read props$1.b) then:bb2 else:bb1\n bb2:\n@@ -161,7 +161,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[1:4] = Array []\n+ [1] Const mutate a$2_@0[1:5] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.b)\"])\n@@ -205,7 +205,7 @@ function Component$0(props$1) {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[1:5] = Array []\n+ [1] Const mutate a$2_@0[1:6] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n If (read props$1.b) then:bb2 else:bb1\n bb2:\n@@ -226,7 +226,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[1:5] = Array []\n+ [1] Const mutate a$2_@0[1:6] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.b)\"])\n@@ -271,7 +271,7 @@ function Component$0(props$1) {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[1:4] = Array []\n+ [1] Const mutate a$2_@0[1:5] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n If (read props$1.b) then:bb2 else:bb1\n bb2:\n@@ -291,7 +291,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[1:4] = Array []\n+ [1] Const mutate a$2_@0[1:5] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.b)\"])\n@@ -335,7 +335,7 @@ function Component$0(props$1) {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[1:4] = Array []\n+ [1] Const mutate a$2_@0[1:5] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n If (read props$1.b) then:bb1 else:bb2\n bb2:\n@@ -355,7 +355,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[1:4] = Array []\n+ [1] Const mutate a$2_@0[1:5] = Array []\n [2] Call mutate a$2_@0.push(read props$1.a)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.b)\"])\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-on-mutable.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-on-mutable.expect.md\nindex 29030688be..740eaaabdc 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-on-mutable.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-on-mutable.expect.md\n@@ -67,8 +67,8 @@ function mayMutate() {}\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[1:3] = Array []\n- [2] Const mutate b$3_@1[2:4] = Array []\n+ [1] Const mutate a$2_@0[1:4] = Array []\n+ [2] Const mutate b$3_@1[2:5] = Array []\n If (read b$3_@1) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n@@ -94,8 +94,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[1:3] = Array []\n- [2] Const mutate b$3_@1[2:4] = Array []\n+ [1] Const mutate a$2_@0[1:4] = Array []\n+ [2] Const mutate b$3_@1[2:5] = Array []\n \"]\n bb0_instrs --> bb0_terminal([\"If (read b$3_@1)\"])\n end\n@@ -153,9 +153,9 @@ function Component$0(props$1) {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[1:4] = Array []\n- [2] Const mutate b$3_@1[0:5] = Array []\n- [3] Const mutate $5_@1[0:5] = Call mutate mayMutate$4_@1(mutate b$3_@1)\n+ [1] Const mutate a$2_@0[1:5] = Array []\n+ [2] Const mutate b$3_@1[0:6] = Array []\n+ [3] Const mutate $5_@1[0:6] = Call mutate mayMutate$4_@1(mutate b$3_@1)\n If (read $5_@1) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n@@ -181,9 +181,9 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[1:4] = Array []\n- [2] Const mutate b$3_@1[0:5] = Array []\n- [3] Const mutate $5_@1[0:5] = Call mutate mayMutate$4_@1(mutate b$3_@1)\n+ [1] Const mutate a$2_@0[1:5] = Array []\n+ [2] Const mutate b$3_@1[0:6] = Array []\n+ [3] Const mutate $5_@1[0:6] = Call mutate mayMutate$4_@1(mutate b$3_@1)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read $5_@1)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/constructor.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/constructor.expect.md\nindex 37d84e1536..4467730a6a 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/constructor.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/constructor.expect.md\n@@ -47,8 +47,8 @@ function Foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:6] = Array []\n- [2] Const mutate b$3_@0[0:6] = Object { }\n+ [1] Const mutate a$2_@0[0:7] = Array []\n+ [2] Const mutate b$3_@0[0:7] = Object { }\n [3] New mutate Foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n [4] Const mutate $6_@1 = \"div\"\n [5] Let mutate _$5_@2 = JSX <\/read $6_@1>\n@@ -65,8 +65,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:6] = Array []\n- [2] Const mutate b$3_@0[0:6] = Object { }\n+ [1] Const mutate a$2_@0[0:7] = Array []\n+ [2] Const mutate b$3_@0[0:7] = Object { }\n [3] New mutate Foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n [4] Const mutate $6_@1 = 'div'\n [5] Let mutate _$5_@2 = JSX <\/read $6_@1>\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/frozen-after-alias.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/frozen-after-alias.expect.md\nindex b00c8c706b..43a28d14cd 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/frozen-after-alias.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/frozen-after-alias.expect.md\n@@ -18,10 +18,10 @@ function foo(x) {}\n \n ```\n bb0:\n- [1] Const mutate a$1_@0 = Array []\n- [2] Const mutate b$2_@1 = read a$1_@0\n+ [1] Const mutate a$1_@0[1:3] = Array []\n+ [2] Const mutate b$2_@0[1:3] = read a$1_@0\n [3] Call read useFreeze$3(freeze a$1_@0)\n- [4] Call mutate foo$4_@2(read b$2_@1)\n+ [4] Call mutate foo$4_@1(read b$2_@0)\n Return\n ```\n \n@@ -32,10 +32,10 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$1_@0 = Array []\n- [2] Const mutate b$2_@1 = read a$1_@0\n+ [1] Const mutate a$1_@0[1:3] = Array []\n+ [2] Const mutate b$2_@0[1:3] = read a$1_@0\n [3] Call read useFreeze$3(freeze a$1_@0)\n- [4] Call mutate foo$4_@2(read b$2_@1)\n+ [4] Call mutate foo$4_@1(read b$2_@0)\n \"]\n bb0_instrs --> bb0_terminal([\"Return\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/hooks-freeze-possibly-mutable-arguments.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/hooks-freeze-possibly-mutable-arguments.expect.md\nindex f4d26fb1b5..084e23c528 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/hooks-freeze-possibly-mutable-arguments.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/hooks-freeze-possibly-mutable-arguments.expect.md\n@@ -27,23 +27,23 @@ function call(x) {}\n ```\n bb0:\n [1] Const mutate cond$2_@0 = read props$1.cond\n- [2] Const mutate x$3_@1 = read props$1.x\n+ [2] Const mutate x$3_@1[2:6] = read props$1.x\n [3] Let mutate a$4_@2 = undefined\n If (read cond$2_@0) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [4] Reassign mutate a$4_@3[4:5] = read x$3_@1\n+ [4] Reassign mutate a$4_@1[2:6] = read x$3_@1\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [5] Reassign mutate a$4_@3[4:5] = Array []\n+ [5] Reassign mutate a$4_@1[2:6] = Array []\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n- [6] Call read useFreeze$5(freeze a$4_@3)\n- [7] Call read useFreeze$5(read a$4_@3)\n- [8] Call mutate call$6_@4(read a$4_@3)\n- Return read a$4_@3\n+ [6] Call read useFreeze$5(freeze a$4_@1)\n+ [7] Call read useFreeze$5(read a$4_@1)\n+ [8] Call mutate call$6_@3(read a$4_@1)\n+ Return read a$4_@1\n ```\n \n ### CFG\n@@ -54,30 +54,30 @@ flowchart TB\n subgraph bb0\n bb0_instrs[\"\n [1] Const mutate cond$2_@0 = read props$1.cond\n- [2] Const mutate x$3_@1 = read props$1.x\n+ [2] Const mutate x$3_@1[2:6] = read props$1.x\n [3] Let mutate a$4_@2 = undefined\n \"]\n bb0_instrs --> bb0_terminal([\"If (read cond$2_@0)\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [4] Reassign mutate a$4_@3[4:5] = read x$3_@1\n+ [4] Reassign mutate a$4_@1[2:6] = read x$3_@1\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [5] Reassign mutate a$4_@3[4:5] = Array []\n+ [5] Reassign mutate a$4_@1[2:6] = Array []\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\n subgraph bb1\n bb1_instrs[\"\n- [6] Call read useFreeze$5(freeze a$4_@3)\n- [7] Call read useFreeze$5(read a$4_@3)\n- [8] Call mutate call$6_@4(read a$4_@3)\n+ [6] Call read useFreeze$5(freeze a$4_@1)\n+ [7] Call read useFreeze$5(read a$4_@1)\n+ [8] Call mutate call$6_@3(read a$4_@1)\n \"]\n- bb1_instrs --> bb1_terminal([\"Return read a$4_@3\"])\n+ bb1_instrs --> bb1_terminal([\"Return read a$4_@1\"])\n end\n \n %% Jumps\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent-across-if.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent-across-if.expect.md\nindex 71c41ee143..45421f6082 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent-across-if.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent-across-if.expect.md\n@@ -149,8 +149,8 @@ function Foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:4] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:4] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:5] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:5] = Call mutate compute$3_@0(read props$1.b)\n If (read props$1.c) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n@@ -170,8 +170,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:4] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:4] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:5] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:5] = Call mutate compute$3_@0(read props$1.b)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.c)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent.expect.md\nindex 9205c2653c..6bc9b61932 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent.expect.md\n@@ -28,8 +28,8 @@ function Foo() {}\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:2] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:2] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:3] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:3] = Call mutate compute$3_@0(read props$1.b)\n [3] Const mutate $6_@1 = JSX <\/read Foo$5>\n Return read $6_@1\n ```\n@@ -41,8 +41,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:2] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:2] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:3] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:3] = Call mutate compute$3_@0(read props$1.b)\n [3] Const mutate $6_@1 = JSX <\/read Foo$5>\n \"]\n bb0_instrs --> bb0_terminal([\"Return read $6_@1\"])\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent-across-if.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent-across-if.expect.md\nindex b427d5844a..70b49172e6 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent-across-if.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent-across-if.expect.md\n@@ -115,8 +115,8 @@ function Foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:3] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:3] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:4] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:4] = Call mutate compute$3_@0(read props$1.b)\n If (read props$1.c) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n@@ -135,8 +135,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:3] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:3] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:4] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:4] = Call mutate compute$3_@0(read props$1.b)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.c)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent.expect.md\nindex 061fe93e36..d4bc2bc7c6 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent.expect.md\n@@ -28,8 +28,8 @@ function Foo() {}\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:3] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:3] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:4] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:4] = Call mutate compute$3_@0(read props$1.b)\n [3] Call mutate foo$5_@0(mutate a$2_@0, mutate b$4_@0)\n [4] Const mutate $7_@1 = JSX <\/read Foo$6>\n Return read $7_@1\n@@ -42,8 +42,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:3] = Call mutate compute$3_@0(read props$1.a)\n- [2] Const mutate b$4_@0[0:3] = Call mutate compute$3_@0(read props$1.b)\n+ [1] Const mutate a$2_@0[0:4] = Call mutate compute$3_@0(read props$1.a)\n+ [2] Const mutate b$4_@0[0:4] = Call mutate compute$3_@0(read props$1.b)\n [3] Call mutate foo$5_@0(mutate a$2_@0, mutate b$4_@0)\n [4] Const mutate $7_@1 = JSX <\/read Foo$6>\n \"]\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/logical-expression.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/logical-expression.expect.md\nindex 7d898b5367..86785b1c31 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/logical-expression.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/logical-expression.expect.md\n@@ -23,19 +23,19 @@ function g() {}\n \n ```\n bb0:\n- [1] Const mutate $2_@0[0:1] = Call mutate f$1_@0()\n+ [1] Const mutate $2_@0[0:4] = Call mutate f$1_@0()\n If (read $2_@0) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [2] Const mutate $3_@1[0:3] = Call mutate g$4_@1()\n+ [2] Const mutate $3_@0[0:4] = Call mutate g$4_@0()\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [3] Const mutate $3_@1[0:3] = read $2_@0\n+ [3] Const mutate $3_@0[0:4] = read $2_@0\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n- Return freeze $3_@1\n+ Return freeze $3_@0\n ```\n \n ### CFG\n@@ -45,24 +45,24 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate $2_@0[0:1] = Call mutate f$1_@0()\n+ [1] Const mutate $2_@0[0:4] = Call mutate f$1_@0()\n \"]\n bb0_instrs --> bb0_terminal([\"If (read $2_@0)\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [2] Const mutate $3_@1[0:3] = Call mutate g$4_@1()\n+ [2] Const mutate $3_@0[0:4] = Call mutate g$4_@0()\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [3] Const mutate $3_@1[0:3] = read $2_@0\n+ [3] Const mutate $3_@0[0:4] = read $2_@0\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\n subgraph bb1\n- bb1_terminal([\"Return freeze $3_@1\"])\n+ bb1_terminal([\"Return freeze $3_@0\"])\n end\n \n %% Jumps\n@@ -89,19 +89,19 @@ function And$0() {\n \n ```\n bb0:\n- [1] Const mutate $2_@0[0:1] = Call mutate f$1_@0()\n+ [1] Const mutate $2_@0[0:4] = Call mutate f$1_@0()\n If (read $2_@0) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [2] Const mutate $3_@1[0:3] = read $2_@0\n+ [2] Const mutate $3_@0[0:4] = read $2_@0\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [3] Const mutate $3_@1[0:3] = Call mutate g$4_@1()\n+ [3] Const mutate $3_@0[0:4] = Call mutate g$4_@0()\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n- Return freeze $3_@1\n+ Return freeze $3_@0\n ```\n \n ### CFG\n@@ -111,24 +111,24 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate $2_@0[0:1] = Call mutate f$1_@0()\n+ [1] Const mutate $2_@0[0:4] = Call mutate f$1_@0()\n \"]\n bb0_instrs --> bb0_terminal([\"If (read $2_@0)\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [2] Const mutate $3_@1[0:3] = read $2_@0\n+ [2] Const mutate $3_@0[0:4] = read $2_@0\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [3] Const mutate $3_@1[0:3] = Call mutate g$4_@1()\n+ [3] Const mutate $3_@0[0:4] = Call mutate g$4_@0()\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\n subgraph bb1\n- bb1_terminal([\"Return freeze $3_@1\"])\n+ bb1_terminal([\"Return freeze $3_@0\"])\n end\n \n %% Jumps\n@@ -155,21 +155,21 @@ function Or$0() {\n \n ```\n bb0:\n- [1] Const mutate $3_@0[0:1] = Call mutate f$2_@0()\n+ [1] Const mutate $3_@0[0:6] = Call mutate f$2_@0()\n [2] Const mutate $4_@1 = null\n- [3] Const mutate $5_@2 = Binary read $3_@0 != read $4_@1\n- If (read $5_@2) then:bb2 else:bb3\n+ [3] Const mutate $5_@0[0:6] = Binary read $3_@0 != read $4_@1\n+ If (read $5_@0) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [4] Const mutate $6_@3[0:5] = read $3_@0\n+ [4] Const mutate $6_@0[0:6] = read $3_@0\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [5] Const mutate $6_@3[0:5] = Call mutate g$7_@3()\n+ [5] Const mutate $6_@0[0:6] = Call mutate g$7_@0()\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n- Return freeze $6_@3\n+ Return freeze $6_@0\n ```\n \n ### CFG\n@@ -179,26 +179,26 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate $3_@0[0:1] = Call mutate f$2_@0()\n+ [1] Const mutate $3_@0[0:6] = Call mutate f$2_@0()\n [2] Const mutate $4_@1 = null\n- [3] Const mutate $5_@2 = Binary read $3_@0 != read $4_@1\n+ [3] Const mutate $5_@0[0:6] = Binary read $3_@0 != read $4_@1\n \"]\n- bb0_instrs --> bb0_terminal([\"If (read $5_@2)\"])\n+ bb0_instrs --> bb0_terminal([\"If (read $5_@0)\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [4] Const mutate $6_@3[0:5] = read $3_@0\n+ [4] Const mutate $6_@0[0:6] = read $3_@0\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [5] Const mutate $6_@3[0:5] = Call mutate g$7_@3()\n+ [5] Const mutate $6_@0[0:6] = Call mutate g$7_@0()\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\n subgraph bb1\n- bb1_terminal([\"Return freeze $6_@3\"])\n+ bb1_terminal([\"Return freeze $6_@0\"])\n end\n \n %% Jumps\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-loops.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-loops.expect.md\nindex 56731c5a41..699467b00f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-loops.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-loops.expect.md\n@@ -99,10 +99,10 @@ function cond$0(x$1) {\n \n ```\n bb0:\n- [1] Let mutate a$2_@0[0:14] = Object { }\n- [2] Let mutate b$3_@0[0:14] = Object { }\n- [3] Let mutate c$4_@0[0:14] = Object { }\n- [4] Let mutate d$5_@0[0:14] = Object { }\n+ [1] Let mutate a$2_@0[0:15] = Object { }\n+ [2] Let mutate b$3_@0[0:15] = Object { }\n+ [3] Let mutate c$4_@0[0:15] = Object { }\n+ [4] Let mutate d$5_@0[0:15] = Object { }\n While test=bb1 loop=bb3 fallthrough=bb2\n bb1:\n predecessor blocks: bb0 bb4\n@@ -110,13 +110,13 @@ bb1:\n If (read $10_@1) then:bb3 else:bb2\n bb3:\n predecessor blocks: bb1\n- [6] Let mutate z$6_@0[0:14] = read a$2_@0\n- [7] Reassign mutate a$2_@0[0:14] = read b$3_@0\n- [8] Reassign mutate b$3_@0[0:14] = read c$4_@0\n- [9] Reassign mutate c$4_@0[0:14] = read d$5_@0\n- [10] Reassign mutate d$5_@0[0:14] = read z$6_@0\n+ [6] Let mutate z$6_@0[0:15] = read a$2_@0\n+ [7] Reassign mutate a$2_@0[0:15] = read b$3_@0\n+ [8] Reassign mutate b$3_@0[0:15] = read c$4_@0\n+ [9] Reassign mutate c$4_@0[0:15] = read d$5_@0\n+ [10] Reassign mutate d$5_@0[0:15] = read z$6_@0\n [11] Call mutate mutate$7_@0(mutate a$2_@0, mutate b$3_@0)\n- [12] Const mutate $9_@0[0:14] = Call mutate cond$8_@0(mutate a$2_@0)\n+ [12] Const mutate $9_@0[0:15] = Call mutate cond$8_@0(mutate a$2_@0)\n If (read $9_@0) then:bb2 else:bb4\n bb4:\n predecessor blocks: bb3\n@@ -147,10 +147,10 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate a$2_@0[0:14] = Object { }\n- [2] Let mutate b$3_@0[0:14] = Object { }\n- [3] Let mutate c$4_@0[0:14] = Object { }\n- [4] Let mutate d$5_@0[0:14] = Object { }\n+ [1] Let mutate a$2_@0[0:15] = Object { }\n+ [2] Let mutate b$3_@0[0:15] = Object { }\n+ [3] Let mutate c$4_@0[0:15] = Object { }\n+ [4] Let mutate d$5_@0[0:15] = Object { }\n \"]\n bb0_instrs --> bb0_terminal([\"While\"])\n end\n@@ -162,13 +162,13 @@ flowchart TB\n end\n subgraph bb3\n bb3_instrs[\"\n- [6] Let mutate z$6_@0[0:14] = read a$2_@0\n- [7] Reassign mutate a$2_@0[0:14] = read b$3_@0\n- [8] Reassign mutate b$3_@0[0:14] = read c$4_@0\n- [9] Reassign mutate c$4_@0[0:14] = read d$5_@0\n- [10] Reassign mutate d$5_@0[0:14] = read z$6_@0\n+ [6] Let mutate z$6_@0[0:15] = read a$2_@0\n+ [7] Reassign mutate a$2_@0[0:15] = read b$3_@0\n+ [8] Reassign mutate b$3_@0[0:15] = read c$4_@0\n+ [9] Reassign mutate c$4_@0[0:15] = read d$5_@0\n+ [10] Reassign mutate d$5_@0[0:15] = read z$6_@0\n [11] Call mutate mutate$7_@0(mutate a$2_@0, mutate b$3_@0)\n- [12] Const mutate $9_@0[0:14] = Call mutate cond$8_@0(mutate a$2_@0)\n+ [12] Const mutate $9_@0[0:15] = Call mutate cond$8_@0(mutate a$2_@0)\n \"]\n bb3_instrs --> bb3_terminal([\"If (read $9_@0)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-with-aliasing.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-with-aliasing.expect.md\nindex 4eba8a8f67..c167274a8f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-with-aliasing.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-with-aliasing.expect.md\n@@ -70,10 +70,10 @@ bb0:\n [1] Const mutate a$2_@0 = Object { }\n [2] Const mutate b$3_@1 = Array [read a$2_@0]\n [3] Const mutate c$4_@2 = Object { }\n- [4] Const mutate d$5_@3[0:9] = Object { c: read c$4_@2 }\n- [5] Const mutate x$6_@3[0:9] = Object { }\n- [6] Reassign mutate x$6_@3.b[0:9] = read b$3_@1\n- [7] Const mutate y$7_@3[0:9] = Call mutate mutate$8_@3(mutate x$6_@3, mutate d$5_@3)\n+ [4] Const mutate d$5_@3[0:10] = Object { c: read c$4_@2 }\n+ [5] Const mutate x$6_@3[0:10] = Object { }\n+ [6] Reassign mutate x$6_@3.b[0:10] = read b$3_@1\n+ [7] Const mutate y$7_@3[0:10] = Call mutate mutate$8_@3(mutate x$6_@3, mutate d$5_@3)\n If (read a$2_@0) then:bb1 else:bb1\n bb1:\n predecessor blocks: bb0\n@@ -104,10 +104,10 @@ flowchart TB\n [1] Const mutate a$2_@0 = Object { }\n [2] Const mutate b$3_@1 = Array [read a$2_@0]\n [3] Const mutate c$4_@2 = Object { }\n- [4] Const mutate d$5_@3[0:9] = Object { c: read c$4_@2 }\n- [5] Const mutate x$6_@3[0:9] = Object { }\n- [6] Reassign mutate x$6_@3.b[0:9] = read b$3_@1\n- [7] Const mutate y$7_@3[0:9] = Call mutate mutate$8_@3(mutate x$6_@3, mutate d$5_@3)\n+ [4] Const mutate d$5_@3[0:10] = Object { c: read c$4_@2 }\n+ [5] Const mutate x$6_@3[0:10] = Object { }\n+ [6] Reassign mutate x$6_@3.b[0:10] = read b$3_@1\n+ [7] Const mutate y$7_@3[0:10] = Call mutate mutate$8_@3(mutate x$6_@3, mutate d$5_@3)\n \"]\n bb0_instrs --> bb0_terminal([\"If (read a$2_@0)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-liverange-loop.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-liverange-loop.expect.md\nindex 59301d8a31..b9cae73259 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-liverange-loop.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-liverange-loop.expect.md\n@@ -94,10 +94,10 @@ function cond$0() {\n \n ```\n bb0:\n- [1] Let mutate a$2_@0[0:9] = Object { }\n- [2] Let mutate b$3_@0[0:9] = Object { }\n+ [1] Let mutate a$2_@0[0:10] = Object { }\n+ [2] Let mutate b$3_@0[0:10] = Object { }\n [3] Let mutate c$4_@1 = Object { }\n- [4] Let mutate d$5_@0[0:9] = Object { }\n+ [4] Let mutate d$5_@0[0:10] = Object { }\n While test=bb1 loop=bb3 fallthrough=bb2\n bb1:\n predecessor blocks: bb0 bb4\n@@ -106,7 +106,7 @@ bb1:\n bb3:\n predecessor blocks: bb1\n [6] Call mutate mutate$6_@0(mutate a$2_@0, mutate b$3_@0)\n- [7] Const mutate $8_@0[0:9] = Call mutate cond$7_@0(mutate a$2_@0)\n+ [7] Const mutate $8_@0[0:10] = Call mutate cond$7_@0(mutate a$2_@0)\n If (read $8_@0) then:bb2 else:bb4\n bb4:\n predecessor blocks: bb3\n@@ -137,10 +137,10 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate a$2_@0[0:9] = Object { }\n- [2] Let mutate b$3_@0[0:9] = Object { }\n+ [1] Let mutate a$2_@0[0:10] = Object { }\n+ [2] Let mutate b$3_@0[0:10] = Object { }\n [3] Let mutate c$4_@1 = Object { }\n- [4] Let mutate d$5_@0[0:9] = Object { }\n+ [4] Let mutate d$5_@0[0:10] = Object { }\n \"]\n bb0_instrs --> bb0_terminal([\"While\"])\n end\n@@ -153,7 +153,7 @@ flowchart TB\n subgraph bb3\n bb3_instrs[\"\n [6] Call mutate mutate$6_@0(mutate a$2_@0, mutate b$3_@0)\n- [7] Const mutate $8_@0[0:9] = Call mutate cond$7_@0(mutate a$2_@0)\n+ [7] Const mutate $8_@0[0:10] = Call mutate cond$7_@0(mutate a$2_@0)\n \"]\n bb3_instrs --> bb3_terminal([\"If (read $8_@0)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/property-assignment.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/property-assignment.expect.md\nindex d6e71bc48e..5d88311655 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/property-assignment.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/property-assignment.expect.md\n@@ -17,9 +17,9 @@ function Component(props) {\n \n ```\n bb0:\n- [1] Const mutate x$2_@0[1:5] = Object { }\n+ [1] Const mutate x$2_@0[1:6] = Object { }\n [2] Const mutate y$3_@1 = Array []\n- [3] Reassign mutate x$2_@0.y[1:5] = read y$3_@1\n+ [3] Reassign mutate x$2_@0.y[1:6] = read y$3_@1\n [4] Const mutate child$4_@2 = JSX <\/read Component$0>\n [5] Call mutate x$2_@0.y.push(read props$1.p0)\n [6] Const mutate $5_@3 = JSX {read child$4_@2}<\/read Component$0>\n@@ -33,9 +33,9 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate x$2_@0[1:5] = Object { }\n+ [1] Const mutate x$2_@0[1:6] = Object { }\n [2] Const mutate y$3_@1 = Array []\n- [3] Reassign mutate x$2_@0.y[1:5] = read y$3_@1\n+ [3] Reassign mutate x$2_@0.y[1:6] = read y$3_@1\n [4] Const mutate child$4_@2 = JSX <\/read Component$0>\n [5] Call mutate x$2_@0.y.push(read props$1.p0)\n [6] Const mutate $5_@3 = JSX {read child$4_@2}<\/read Component$0>\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scope-grouping.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scope-grouping.expect.md\nindex ec77ba9396..8389b0cfb9 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scope-grouping.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scope-grouping.expect.md\n@@ -18,11 +18,11 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[1:5] = Object { }\n- [2] Let mutate y$2_@1[2:4] = Array []\n- [3] Let mutate z$3_@1[2:4] = Object { }\n+ [1] Let mutate x$1_@0[1:6] = Object { }\n+ [2] Let mutate y$2_@1[2:5] = Array []\n+ [3] Let mutate z$3_@1[2:5] = Object { }\n [4] Call mutate y$2_@1.push(mutate z$3_@1)\n- [5] Reassign mutate x$1_@0.y[1:5] = read y$2_@1\n+ [5] Reassign mutate x$1_@0.y[1:6] = read y$2_@1\n Return freeze x$1_@0\n ```\n \n@@ -33,11 +33,11 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[1:5] = Object { }\n- [2] Let mutate y$2_@1[2:4] = Array []\n- [3] Let mutate z$3_@1[2:4] = Object { }\n+ [1] Let mutate x$1_@0[1:6] = Object { }\n+ [2] Let mutate y$2_@1[2:5] = Array []\n+ [3] Let mutate z$3_@1[2:5] = Object { }\n [4] Call mutate y$2_@1.push(mutate z$3_@1)\n- [5] Reassign mutate x$1_@0.y[1:5] = read y$2_@1\n+ [5] Reassign mutate x$1_@0.y[1:6] = read y$2_@1\n \"]\n bb0_instrs --> bb0_terminal([\"Return freeze x$1_@0\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scopes.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scopes.expect.md\nindex 6f249286a0..4aebcf1e91 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scopes.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scopes.expect.md\n@@ -19,7 +19,7 @@ function f(a, b) {\n \n ```\n bb0:\n- [1] Let mutate x$3_@0[1:4] = Array []\n+ [1] Let mutate x$3_@0[1:5] = Array []\n [2] Const mutate $4_@1 = 1\n [3] Const mutate $5_@2 = Binary read a$1.length === read $4_@1\n If (read $5_@2) then:bb2 else:bb1\n@@ -44,7 +44,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$3_@0[1:4] = Array []\n+ [1] Let mutate x$3_@0[1:5] = Array []\n [2] Const mutate $4_@1 = 1\n [3] Const mutate $5_@2 = Binary read a$1.length === read $4_@1\n \"]\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment-conditional.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment-conditional.expect.md\nindex 7d96a850c1..6a5a5e635f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment-conditional.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment-conditional.expect.md\n@@ -23,13 +23,13 @@ function Component(props) {\n \n ```\n bb0:\n- [1] Let mutate x$2_@0[1:4] = Array []\n+ [1] Let mutate x$2_@0[1:5] = Array []\n [2] Call mutate x$2_@0.push(read props$1.p0)\n- [3] Let mutate y$3_@0[1:4] = read x$2_@0\n+ [3] Let mutate y$3_@0[1:5] = read x$2_@0\n If (read props$1.p1) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n- [4] Reassign mutate x$2_@0[1:4] = Array []\n+ [4] Reassign mutate x$2_@0[1:5] = Array []\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb0\n@@ -46,15 +46,15 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$2_@0[1:4] = Array []\n+ [1] Let mutate x$2_@0[1:5] = Array []\n [2] Call mutate x$2_@0.push(read props$1.p0)\n- [3] Let mutate y$3_@0[1:4] = read x$2_@0\n+ [3] Let mutate y$3_@0[1:5] = read x$2_@0\n \"]\n bb0_instrs --> bb0_terminal([\"If (read props$1.p1)\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [4] Reassign mutate x$2_@0[1:4] = Array []\n+ [4] Reassign mutate x$2_@0[1:5] = Array []\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment.expect.md\nindex b79ce4f74b..78db5eb2ae 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment.expect.md\n@@ -21,9 +21,9 @@ function Component(props) {\n \n ```\n bb0:\n- [1] Let mutate x$2_@0[1:6] = Array []\n+ [1] Let mutate x$2_@0[1:7] = Array []\n [2] Call mutate x$2_@0.push(read props$1.p0)\n- [3] Let mutate y$3_@0[1:6] = read x$2_@0\n+ [3] Let mutate y$3_@0[1:7] = read x$2_@0\n [4] Reassign mutate x$2_@1 = Array []\n [5] Let mutate _$4_@2 = JSX <\/read Component$0>\n [6] Call mutate y$3_@0.push(read props$1.p1)\n@@ -38,9 +38,9 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$2_@0[1:6] = Array []\n+ [1] Let mutate x$2_@0[1:7] = Array []\n [2] Call mutate x$2_@0.push(read props$1.p0)\n- [3] Let mutate y$3_@0[1:6] = read x$2_@0\n+ [3] Let mutate y$3_@0[1:7] = read x$2_@0\n [4] Reassign mutate x$2_@1 = Array []\n [5] Let mutate _$4_@2 = JSX <\/read Component$0>\n [6] Call mutate y$3_@0.push(read props$1.p1)\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reverse-postorder.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reverse-postorder.expect.md\nindex 2291020036..8e7abb64b8 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reverse-postorder.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/reverse-postorder.expect.md\n@@ -50,26 +50,26 @@ bb2:\n Default: bb4\n bb8:\n predecessor blocks: bb2\n- [5] Reassign mutate x$2_@4[5:9] = read props$1.v0\n+ [5] Reassign mutate x$2_@4[5:10] = read props$1.v0\n Goto bb1\n bb6:\n predecessor blocks: bb2\n- [6] Reassign mutate x$2_@4[5:9] = read props$1.v1\n+ [6] Reassign mutate x$2_@4[5:10] = read props$1.v1\n Goto bb1\n bb4:\n predecessor blocks: bb2\n- [7] Reassign mutate x$2_@4[5:9] = read props$1.v2\n+ [7] Reassign mutate x$2_@4[5:10] = read props$1.v2\n Goto bb1\n bb10:\n predecessor blocks: bb0\n If (read props$1.cond2) then:bb12 else:bb13\n bb12:\n predecessor blocks: bb10\n- [8] Reassign mutate x$2_@4[5:9] = read props$1.b\n+ [8] Reassign mutate x$2_@4[5:10] = read props$1.b\n Goto bb1\n bb13:\n predecessor blocks: bb10\n- [9] Reassign mutate x$2_@4[5:9] = read props$1.c\n+ [9] Reassign mutate x$2_@4[5:10] = read props$1.c\n Goto bb1\n bb1:\n predecessor blocks: bb8 bb6 bb4 bb12 bb13\n@@ -98,19 +98,19 @@ flowchart TB\n end\n subgraph bb8\n bb8_instrs[\"\n- [5] Reassign mutate x$2_@4[5:9] = read props$1.v0\n+ [5] Reassign mutate x$2_@4[5:10] = read props$1.v0\n \"]\n bb8_instrs --> bb8_terminal([\"Goto\"])\n end\n subgraph bb6\n bb6_instrs[\"\n- [6] Reassign mutate x$2_@4[5:9] = read props$1.v1\n+ [6] Reassign mutate x$2_@4[5:10] = read props$1.v1\n \"]\n bb6_instrs --> bb6_terminal([\"Goto\"])\n end\n subgraph bb4\n bb4_instrs[\"\n- [7] Reassign mutate x$2_@4[5:9] = read props$1.v2\n+ [7] Reassign mutate x$2_@4[5:10] = read props$1.v2\n \"]\n bb4_instrs --> bb4_terminal([\"Goto\"])\n end\n@@ -119,13 +119,13 @@ flowchart TB\n end\n subgraph bb12\n bb12_instrs[\"\n- [8] Reassign mutate x$2_@4[5:9] = read props$1.b\n+ [8] Reassign mutate x$2_@4[5:10] = read props$1.b\n \"]\n bb12_instrs --> bb12_terminal([\"Goto\"])\n end\n subgraph bb13\n bb13_instrs[\"\n- [9] Reassign mutate x$2_@4[5:9] = read props$1.c\n+ [9] Reassign mutate x$2_@4[5:10] = read props$1.c\n \"]\n bb13_instrs --> bb13_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/simple-alias.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/simple-alias.expect.md\nindex e937473a7b..8f9acd8388 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/simple-alias.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/simple-alias.expect.md\n@@ -49,11 +49,11 @@ function mutate$0() {\n ```\n bb0:\n [1] Let mutate a$1_@0 = Object { }\n- [2] Let mutate b$2_@1[0:7] = Object { }\n- [3] Let mutate c$3_@1[0:7] = Object { }\n- [4] Reassign mutate a$1_@1[0:7] = read b$2_@1\n- [5] Reassign mutate b$2_@1[0:7] = read c$3_@1\n- [6] Reassign mutate c$3_@1[0:7] = read a$1_@1\n+ [2] Let mutate b$2_@1[0:8] = Object { }\n+ [3] Let mutate c$3_@1[0:8] = Object { }\n+ [4] Reassign mutate a$1_@1[0:8] = read b$2_@1\n+ [5] Reassign mutate b$2_@1[0:8] = read c$3_@1\n+ [6] Reassign mutate c$3_@1[0:8] = read a$1_@1\n [7] Call mutate mutate$4_@1(mutate a$1_@1, mutate b$2_@1)\n Return freeze c$3_@1\n ```\n@@ -66,11 +66,11 @@ flowchart TB\n subgraph bb0\n bb0_instrs[\"\n [1] Let mutate a$1_@0 = Object { }\n- [2] Let mutate b$2_@1[0:7] = Object { }\n- [3] Let mutate c$3_@1[0:7] = Object { }\n- [4] Reassign mutate a$1_@1[0:7] = read b$2_@1\n- [5] Reassign mutate b$2_@1[0:7] = read c$3_@1\n- [6] Reassign mutate c$3_@1[0:7] = read a$1_@1\n+ [2] Let mutate b$2_@1[0:8] = Object { }\n+ [3] Let mutate c$3_@1[0:8] = Object { }\n+ [4] Reassign mutate a$1_@1[0:8] = read b$2_@1\n+ [5] Reassign mutate b$2_@1[0:8] = read c$3_@1\n+ [6] Reassign mutate c$3_@1[0:8] = read a$1_@1\n [7] Call mutate mutate$4_@1(mutate a$1_@1, mutate b$2_@1)\n \"]\n bb0_instrs --> bb0_terminal([\"Return freeze c$3_@1\"])\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx-2.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx-2.expect.md\nindex 464bf992b0..b1b98a51f7 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx-2.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx-2.expect.md\n@@ -50,10 +50,10 @@ function foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:7] = Array []\n- [2] Const mutate b$3_@0[0:7] = Object { }\n+ [1] Const mutate a$2_@0[0:8] = Array []\n+ [2] Const mutate b$3_@0[0:8] = Object { }\n [3] Call mutate foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n- [4] Const mutate $7_@0[0:7] = Call mutate foo$4_@0()\n+ [4] Const mutate $7_@0[0:8] = Call mutate foo$4_@0()\n If (read $7_@0) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n@@ -75,10 +75,10 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:7] = Array []\n- [2] Const mutate b$3_@0[0:7] = Object { }\n+ [1] Const mutate a$2_@0[0:8] = Array []\n+ [2] Const mutate b$3_@0[0:8] = Object { }\n [3] Call mutate foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n- [4] Const mutate $7_@0[0:7] = Call mutate foo$4_@0()\n+ [4] Const mutate $7_@0[0:8] = Call mutate foo$4_@0()\n \"]\n bb0_instrs --> bb0_terminal([\"If (read $7_@0)\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx.expect.md\nindex beac169a6b..f5477614f4 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx.expect.md\n@@ -47,8 +47,8 @@ function foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:6] = Array []\n- [2] Const mutate b$3_@0[0:6] = Object { }\n+ [1] Const mutate a$2_@0[0:7] = Array []\n+ [2] Const mutate b$3_@0[0:7] = Object { }\n [3] Call mutate foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n [4] Const mutate $6_@1 = \"div\"\n [5] Let mutate _$5_@2 = JSX <\/read $6_@1>\n@@ -65,8 +65,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:6] = Array []\n- [2] Const mutate b$3_@0[0:6] = Object { }\n+ [1] Const mutate a$2_@0[0:7] = Array []\n+ [2] Const mutate b$3_@0[0:7] = Object { }\n [3] Call mutate foo$4_@0(mutate a$2_@0, mutate b$3_@0)\n [4] Const mutate $6_@1 = 'div'\n [5] Let mutate _$5_@2 = JSX <\/read $6_@1>\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-multiple-if.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-multiple-if.expect.md\nindex 7ad778d40d..d7e856639a 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-multiple-if.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-multiple-if.expect.md\n@@ -21,14 +21,14 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[1:9] = 1\n+ [1] Let mutate x$1_@0[1:10] = 1\n [2] Let mutate y$2_@1 = 2\n [3] Const mutate $3_@2 = 2\n [4] Const mutate $4_@3 = Binary read y$2_@1 === read $3_@2\n If (read $4_@3) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n- [5] Reassign mutate x$1_@0[1:9] = 3\n+ [5] Reassign mutate x$1_@0[1:10] = 3\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb0\n@@ -37,11 +37,11 @@ bb1:\n If (read $6_@5) then:bb4 else:bb3\n bb4:\n predecessor blocks: bb1\n- [8] Reassign mutate x$1_@0[1:9] = 5\n+ [8] Reassign mutate x$1_@0[1:10] = 5\n Goto bb3\n bb3:\n predecessor blocks: bb4 bb1\n- [9] Reassign mutate y$2_@0[1:9] = read x$1_@0\n+ [9] Reassign mutate y$2_@0[1:10] = read x$1_@0\n Return\n ```\n \n@@ -52,7 +52,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[1:9] = 1\n+ [1] Let mutate x$1_@0[1:10] = 1\n [2] Let mutate y$2_@1 = 2\n [3] Const mutate $3_@2 = 2\n [4] Const mutate $4_@3 = Binary read y$2_@1 === read $3_@2\n@@ -61,7 +61,7 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [5] Reassign mutate x$1_@0[1:9] = 3\n+ [5] Reassign mutate x$1_@0[1:10] = 3\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n@@ -74,13 +74,13 @@ flowchart TB\n end\n subgraph bb4\n bb4_instrs[\"\n- [8] Reassign mutate x$1_@0[1:9] = 5\n+ [8] Reassign mutate x$1_@0[1:10] = 5\n \"]\n bb4_instrs --> bb4_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [9] Reassign mutate y$2_@0[1:9] = read x$1_@0\n+ [9] Reassign mutate y$2_@0[1:10] = read x$1_@0\n \"]\n bb3_instrs --> bb3_terminal([\"Return\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-single-if.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-single-if.expect.md\nindex 7204e90191..8f2dd4a38f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-single-if.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-single-if.expect.md\n@@ -18,18 +18,18 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[1:6] = 1\n+ [1] Let mutate x$1_@0[1:7] = 1\n [2] Let mutate y$2_@1 = 2\n [3] Const mutate $3_@2 = 2\n [4] Const mutate $4_@3 = Binary read y$2_@1 === read $3_@2\n If (read $4_@3) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n- [5] Reassign mutate x$1_@0[1:6] = 3\n+ [5] Reassign mutate x$1_@0[1:7] = 3\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb0\n- [6] Reassign mutate y$2_@0[1:6] = read x$1_@0\n+ [6] Reassign mutate y$2_@0[1:7] = read x$1_@0\n Return\n ```\n \n@@ -40,7 +40,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[1:6] = 1\n+ [1] Let mutate x$1_@0[1:7] = 1\n [2] Let mutate y$2_@1 = 2\n [3] Const mutate $3_@2 = 2\n [4] Const mutate $4_@3 = Binary read y$2_@1 === read $3_@2\n@@ -49,13 +49,13 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [5] Reassign mutate x$1_@0[1:6] = 3\n+ [5] Reassign mutate x$1_@0[1:7] = 3\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb1\n bb1_instrs[\"\n- [6] Reassign mutate y$2_@0[1:6] = read x$1_@0\n+ [6] Reassign mutate y$2_@0[1:7] = read x$1_@0\n \"]\n bb1_instrs --> bb1_terminal([\"Return\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-for.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-for.expect.md\nindex 036812b62a..7440221c1d 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-for.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-for.expect.md\n@@ -16,7 +16,7 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[0:5] = 0\n+ [1] Let mutate x$1_@0[0:6] = 0\n Goto bb1\n bb1:\n predecessor blocks: bb0 bb4\n@@ -26,7 +26,7 @@ bb1:\n bb4:\n predecessor blocks: bb1\n [4] Const mutate $2_@3 = 1\n- [5] Reassign mutate x$1_@0[0:5] = Binary read x$1_@0 + read $2_@3\n+ [5] Reassign mutate x$1_@0[0:6] = Binary read x$1_@0 + read $2_@3\n Goto(Continue) bb1\n bb2:\n predecessor blocks: bb1\n@@ -40,7 +40,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[0:5] = 0\n+ [1] Let mutate x$1_@0[0:6] = 0\n \"]\n bb0_instrs --> bb0_terminal([\"Goto\"])\n end\n@@ -54,7 +54,7 @@ flowchart TB\n subgraph bb4\n bb4_instrs[\"\n [4] Const mutate $2_@3 = 1\n- [5] Reassign mutate x$1_@0[0:5] = Binary read x$1_@0 + read $2_@3\n+ [5] Reassign mutate x$1_@0[0:6] = Binary read x$1_@0 + read $2_@3\n \"]\n bb4_instrs --> bb4_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-if-else.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-if-else.expect.md\nindex edaee2810a..00688d144f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-if-else.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-if-else.expect.md\n@@ -19,16 +19,16 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0 = 1\n+ [1] Let mutate x$1_@0[1:5] = 1\n [2] Let mutate y$2_@1 = 2\n If (read y$2_@1) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [3] Let mutate z$3_@2 = Binary read x$1_@0 + read y$2_@1\n+ [3] Let mutate z$3_@0[1:5] = Binary read x$1_@0 + read y$2_@1\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [4] Let mutate z$4_@3 = read x$1_@0\n+ [4] Let mutate z$4_@0[1:5] = read x$1_@0\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n@@ -42,20 +42,20 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0 = 1\n+ [1] Let mutate x$1_@0[1:5] = 1\n [2] Let mutate y$2_@1 = 2\n \"]\n bb0_instrs --> bb0_terminal([\"If (read y$2_@1)\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [3] Let mutate z$3_@2 = Binary read x$1_@0 + read y$2_@1\n+ [3] Let mutate z$3_@0[1:5] = Binary read x$1_@0 + read y$2_@1\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [4] Let mutate z$4_@3 = read x$1_@0\n+ [4] Let mutate z$4_@0[1:5] = read x$1_@0\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-newexpression.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-newexpression.expect.md\nindex 62e8e181bd..19ad34f4ee 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-newexpression.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-newexpression.expect.md\n@@ -45,9 +45,9 @@ function Foo$0() {\n \n ```\n bb0:\n- [1] Const mutate a$2_@0[0:3] = Array []\n- [2] Const mutate b$3_@0[0:3] = Object { }\n- [3] Let mutate c$4_@0[0:3] = New mutate Foo$5_@0(mutate a$2_@0, mutate b$3_@0)\n+ [1] Const mutate a$2_@0[0:4] = Array []\n+ [2] Const mutate b$3_@0[0:4] = Object { }\n+ [3] Let mutate c$4_@0[0:4] = New mutate Foo$5_@0(mutate a$2_@0, mutate b$3_@0)\n Return freeze c$4_@0\n ```\n \n@@ -58,9 +58,9 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Const mutate a$2_@0[0:3] = Array []\n- [2] Const mutate b$3_@0[0:3] = Object { }\n- [3] Let mutate c$4_@0[0:3] = New mutate Foo$5_@0(mutate a$2_@0, mutate b$3_@0)\n+ [1] Const mutate a$2_@0[0:4] = Array []\n+ [2] Const mutate b$3_@0[0:4] = Object { }\n+ [3] Let mutate c$4_@0[0:4] = New mutate Foo$5_@0(mutate a$2_@0, mutate b$3_@0)\n \"]\n bb0_instrs --> bb0_terminal([\"Return freeze c$4_@0\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-objectexpression-phi.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-objectexpression-phi.expect.md\nindex 9358286725..2a846d7a0e 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-objectexpression-phi.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-objectexpression-phi.expect.md\n@@ -22,18 +22,18 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[1:5] = 1\n- [2] Let mutate y$2_@1[2:6] = 2\n+ [1] Let mutate x$1_@0[1:6] = 1\n+ [2] Let mutate y$2_@1[2:7] = 2\n [3] Const mutate $3_@2 = 1\n [4] Const mutate $4_@3 = Binary read x$1_@0 > read $3_@2\n If (read $4_@3) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [5] Reassign mutate x$1_@0[1:5] = 2\n+ [5] Reassign mutate x$1_@0[1:6] = 2\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [6] Reassign mutate y$2_@1[2:6] = 3\n+ [6] Reassign mutate y$2_@1[2:7] = 3\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n@@ -48,8 +48,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[1:5] = 1\n- [2] Let mutate y$2_@1[2:6] = 2\n+ [1] Let mutate x$1_@0[1:6] = 1\n+ [2] Let mutate y$2_@1[2:7] = 2\n [3] Const mutate $3_@2 = 1\n [4] Const mutate $4_@3 = Binary read x$1_@0 > read $3_@2\n \"]\n@@ -57,13 +57,13 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [5] Reassign mutate x$1_@0[1:5] = 2\n+ [5] Reassign mutate x$1_@0[1:6] = 2\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [6] Reassign mutate y$2_@1[2:6] = 3\n+ [6] Reassign mutate y$2_@1[2:7] = 3\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property-call.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property-call.expect.md\nindex f05cb7ce88..15ae6da94b 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property-call.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property-call.expect.md\n@@ -16,8 +16,8 @@ function foo() {\n ```\n bb0:\n [1] Const mutate x$1_@0 = Array []\n- [2] Const mutate y$2_@1[2:4] = Object { x: read x$1_@0 }\n- [3] Const mutate $3_@1[2:4] = Array []\n+ [2] Const mutate y$2_@1[2:5] = Object { x: read x$1_@0 }\n+ [3] Const mutate $3_@1[2:5] = Array []\n [4] Call mutate y$2_@1.x.push(mutate $3_@1)\n Return freeze y$2_@1\n ```\n@@ -30,8 +30,8 @@ flowchart TB\n subgraph bb0\n bb0_instrs[\"\n [1] Const mutate x$1_@0 = Array []\n- [2] Const mutate y$2_@1[2:4] = Object { x: read x$1_@0 }\n- [3] Const mutate $3_@1[2:4] = Array []\n+ [2] Const mutate y$2_@1[2:5] = Object { x: read x$1_@0 }\n+ [3] Const mutate $3_@1[2:5] = Array []\n [4] Call mutate y$2_@1.x.push(mutate $3_@1)\n \"]\n bb0_instrs --> bb0_terminal([\"Return freeze y$2_@1\"])\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property.expect.md\nindex 90096384b1..5ac77c2a8f 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property.expect.md\n@@ -16,8 +16,8 @@ function foo() {\n ```\n bb0:\n [1] Const mutate x$1_@0 = Array []\n- [2] Const mutate y$2_@1[2:3] = Object { }\n- [3] Reassign mutate y$2_@1.x[2:3] = read x$1_@0\n+ [2] Const mutate y$2_@1[2:4] = Object { }\n+ [3] Reassign mutate y$2_@1.x[2:4] = read x$1_@0\n Return freeze y$2_@1\n ```\n \n@@ -29,8 +29,8 @@ flowchart TB\n subgraph bb0\n bb0_instrs[\"\n [1] Const mutate x$1_@0 = Array []\n- [2] Const mutate y$2_@1[2:3] = Object { }\n- [3] Reassign mutate y$2_@1.x[2:3] = read x$1_@0\n+ [2] Const mutate y$2_@1[2:4] = Object { }\n+ [3] Reassign mutate y$2_@1.x[2:4] = read x$1_@0\n \"]\n bb0_instrs --> bb0_terminal([\"Return freeze y$2_@1\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-return.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-return.expect.md\nindex 4ccae6abc5..73985795ae 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-return.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-return.expect.md\n@@ -17,13 +17,13 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[1:4] = 1\n+ [1] Let mutate x$1_@0[1:5] = 1\n [2] Const mutate $2_@1 = 1\n [3] Const mutate $3_@2 = Binary read x$1_@0 === read $2_@1\n If (read $3_@2) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n- [4] Reassign mutate x$1_@0[1:4] = 2\n+ [4] Reassign mutate x$1_@0[1:5] = 2\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb0\n@@ -37,7 +37,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[1:4] = 1\n+ [1] Let mutate x$1_@0[1:5] = 1\n [2] Const mutate $2_@1 = 1\n [3] Const mutate $3_@2 = Binary read x$1_@0 === read $2_@1\n \"]\n@@ -45,7 +45,7 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [4] Reassign mutate x$1_@0[1:4] = 2\n+ [4] Reassign mutate x$1_@0[1:5] = 2\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-shadowing.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-shadowing.expect.md\nindex 348acb632d..d473a25c5b 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-shadowing.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-shadowing.expect.md\n@@ -49,7 +49,7 @@ function log$0() {\n \n ```\n bb0:\n- [1] Let mutate str$2_@0[1:4] = \"\"\n+ [1] Let mutate str$2_@0[1:5] = \"\"\n If (read cond$1) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n@@ -58,7 +58,7 @@ bb2:\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [4] Reassign mutate str$2_@0[1:4] = \"fallthrough test\"\n+ [4] Reassign mutate str$2_@0[1:5] = \"fallthrough test\"\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n@@ -73,7 +73,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate str$2_@0[1:4] = ''\n+ [1] Let mutate str$2_@0[1:5] = ''\n \"]\n bb0_instrs --> bb0_terminal([\"If (read cond$1)\"])\n end\n@@ -86,7 +86,7 @@ flowchart TB\n end\n subgraph bb3\n bb3_instrs[\"\n- [4] Reassign mutate str$2_@0[1:4] = 'fallthrough test'\n+ [4] Reassign mutate str$2_@0[1:5] = 'fallthrough test'\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-simple-phi.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-simple-phi.expect.md\nindex 8229101d05..e03c54d741 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-simple-phi.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-simple-phi.expect.md\n@@ -26,15 +26,15 @@ bb0:\n If (read $3_@2) then:bb2 else:bb3\n bb2:\n predecessor blocks: bb0\n- [4] Reassign mutate y$1_@3[4:6] = 1\n+ [4] Reassign mutate y$1_@3[4:7] = 1\n Goto bb1\n bb3:\n predecessor blocks: bb0\n- [5] Reassign mutate y$1_@3[4:6] = 2\n+ [5] Reassign mutate y$1_@3[4:7] = 2\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb3\n- [6] Let mutate x$4_@3[4:6] = read y$1_@3\n+ [6] Let mutate x$4_@3[4:7] = read y$1_@3\n Return\n ```\n \n@@ -53,19 +53,19 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [4] Reassign mutate y$1_@3[4:6] = 1\n+ [4] Reassign mutate y$1_@3[4:7] = 1\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n- [5] Reassign mutate y$1_@3[4:6] = 2\n+ [5] Reassign mutate y$1_@3[4:7] = 2\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\n subgraph bb1\n bb1_instrs[\"\n- [6] Let mutate x$4_@3[4:6] = read y$1_@3\n+ [6] Let mutate x$4_@3[4:7] = read y$1_@3\n \"]\n bb1_instrs --> bb1_terminal([\"Return\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-switch.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-switch.expect.md\nindex 97d2ebe4e4..a257abe4f4 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-switch.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-switch.expect.md\n@@ -40,21 +40,21 @@ bb0:\n bb5:\n predecessor blocks: bb0\n [6] Const mutate $6_@5 = 1\n- [7] Reassign mutate x$1_@6[7:12] = Binary read x$1_@0 + read $6_@5\n+ [7] Reassign mutate x$1_@6[7:13] = Binary read x$1_@0 + read $6_@5\n Goto bb1\n bb3:\n predecessor blocks: bb0\n [8] Const mutate $3_@7 = 2\n- [9] Reassign mutate x$1_@6[7:12] = Binary read x$1_@0 + read $3_@7\n+ [9] Reassign mutate x$1_@6[7:13] = Binary read x$1_@0 + read $3_@7\n Goto bb1\n bb2:\n predecessor blocks: bb0\n [10] Const mutate $2_@8 = 3\n- [11] Reassign mutate x$1_@6[7:12] = Binary read x$1_@0 + read $2_@8\n+ [11] Reassign mutate x$1_@6[7:13] = Binary read x$1_@0 + read $2_@8\n Goto bb1\n bb1:\n predecessor blocks: bb5 bb3 bb2\n- [12] Let mutate y$9_@6[7:12] = read x$1_@6\n+ [12] Let mutate y$9_@6[7:13] = read x$1_@6\n Return\n ```\n \n@@ -76,27 +76,27 @@ flowchart TB\n subgraph bb5\n bb5_instrs[\"\n [6] Const mutate $6_@5 = 1\n- [7] Reassign mutate x$1_@6[7:12] = Binary read x$1_@0 + read $6_@5\n+ [7] Reassign mutate x$1_@6[7:13] = Binary read x$1_@0 + read $6_@5\n \"]\n bb5_instrs --> bb5_terminal([\"Goto\"])\n end\n subgraph bb3\n bb3_instrs[\"\n [8] Const mutate $3_@7 = 2\n- [9] Reassign mutate x$1_@6[7:12] = Binary read x$1_@0 + read $3_@7\n+ [9] Reassign mutate x$1_@6[7:13] = Binary read x$1_@0 + read $3_@7\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\n subgraph bb2\n bb2_instrs[\"\n [10] Const mutate $2_@8 = 3\n- [11] Reassign mutate x$1_@6[7:12] = Binary read x$1_@0 + read $2_@8\n+ [11] Reassign mutate x$1_@6[7:13] = Binary read x$1_@0 + read $2_@8\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n subgraph bb1\n bb1_instrs[\"\n- [12] Let mutate y$9_@6[7:12] = read x$1_@6\n+ [12] Let mutate y$9_@6[7:13] = read x$1_@6\n \"]\n bb1_instrs --> bb1_terminal([\"Return\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-throw.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-throw.expect.md\nindex e4965aeff1..d3caf1fcf4 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-throw.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-throw.expect.md\n@@ -16,13 +16,13 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[1:4] = 1\n+ [1] Let mutate x$1_@0[1:5] = 1\n [2] Const mutate $2_@1 = 1\n [3] Const mutate $3_@2 = Binary read x$1_@0 === read $2_@1\n If (read $3_@2) then:bb2 else:bb1\n bb2:\n predecessor blocks: bb0\n- [4] Reassign mutate x$1_@0[1:4] = 2\n+ [4] Reassign mutate x$1_@0[1:5] = 2\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb0\n@@ -36,7 +36,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[1:4] = 1\n+ [1] Let mutate x$1_@0[1:5] = 1\n [2] Const mutate $2_@1 = 1\n [3] Const mutate $3_@2 = Binary read x$1_@0 === read $2_@1\n \"]\n@@ -44,7 +44,7 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [4] Reassign mutate x$1_@0[1:4] = 2\n+ [4] Reassign mutate x$1_@0[1:5] = 2\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-while.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-while.expect.md\nindex 4e839aad4a..88441315d2 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-while.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-while.expect.md\n@@ -17,7 +17,7 @@ function foo() {\n \n ```\n bb0:\n- [1] Let mutate x$1_@0[0:5] = 1\n+ [1] Let mutate x$1_@0[0:6] = 1\n While test=bb1 loop=bb3 fallthrough=bb2\n bb1:\n predecessor blocks: bb0 bb3\n@@ -27,7 +27,7 @@ bb1:\n bb3:\n predecessor blocks: bb1\n [4] Const mutate $2_@3 = 1\n- [5] Reassign mutate x$1_@0[0:5] = Binary read x$1_@0 + read $2_@3\n+ [5] Reassign mutate x$1_@0[0:6] = Binary read x$1_@0 + read $2_@3\n Goto(Continue) bb1\n bb2:\n predecessor blocks: bb1\n@@ -41,7 +41,7 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$1_@0[0:5] = 1\n+ [1] Let mutate x$1_@0[0:6] = 1\n \"]\n bb0_instrs --> bb0_terminal([\"While\"])\n end\n@@ -55,7 +55,7 @@ flowchart TB\n subgraph bb3\n bb3_instrs[\"\n [4] Const mutate $2_@3 = 1\n- [5] Reassign mutate x$1_@0[0:5] = Binary read x$1_@0 + read $2_@3\n+ [5] Reassign mutate x$1_@0[0:6] = Binary read x$1_@0 + read $2_@3\n \"]\n bb3_instrs --> bb3_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch-non-final-default.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch-non-final-default.expect.md\nindex e4a9e413dc..f6b479e94e 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch-non-final-default.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch-non-final-default.expect.md\n@@ -32,8 +32,8 @@ function Component(props) {\n \n ```\n bb0:\n- [1] Let mutate x$2_@0[1:8] = Array []\n- [2] Let mutate y$3_@0[1:8] = undefined\n+ [1] Let mutate x$2_@0[1:9] = Array []\n+ [2] Let mutate y$3_@0[1:9] = undefined\n [3] Const mutate $4_@1 = false\n [4] Const mutate $5_@2 = true\n [5] Const mutate $6_@3 = 1\n@@ -45,11 +45,11 @@ bb0:\n bb6:\n predecessor blocks: bb0\n [6] Call mutate x$2_@0.push(read props$1.p2)\n- [7] Reassign mutate y$3_@0[1:8] = Array []\n+ [7] Reassign mutate y$3_@0[1:9] = Array []\n Goto bb1\n bb2:\n predecessor blocks: bb0\n- [8] Reassign mutate y$3_@0[1:8] = read x$2_@0\n+ [8] Reassign mutate y$3_@0[1:9] = read x$2_@0\n Goto bb1\n bb1:\n predecessor blocks: bb0 bb6 bb2\n@@ -66,8 +66,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$2_@0[1:8] = Array []\n- [2] Let mutate y$3_@0[1:8] = undefined\n+ [1] Let mutate x$2_@0[1:9] = Array []\n+ [2] Let mutate y$3_@0[1:9] = undefined\n [3] Const mutate $4_@1 = false\n [4] Const mutate $5_@2 = true\n [5] Const mutate $6_@3 = 1\n@@ -77,13 +77,13 @@ flowchart TB\n subgraph bb6\n bb6_instrs[\"\n [6] Call mutate x$2_@0.push(read props$1.p2)\n- [7] Reassign mutate y$3_@0[1:8] = Array []\n+ [7] Reassign mutate y$3_@0[1:9] = Array []\n \"]\n bb6_instrs --> bb6_terminal([\"Goto\"])\n end\n subgraph bb2\n bb2_instrs[\"\n- [8] Reassign mutate y$3_@0[1:8] = read x$2_@0\n+ [8] Reassign mutate y$3_@0[1:9] = read x$2_@0\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\ndiff --git a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch.expect.md b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch.expect.md\nindex e45f168b89..f4beeeaa50 100644\n--- a\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch.expect.md\n+++ b\/compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch.expect.md\n@@ -28,8 +28,8 @@ function Component(props) {\n \n ```\n bb0:\n- [1] Let mutate x$2_@0[1:8] = Array []\n- [2] Let mutate y$3_@0[1:8] = undefined\n+ [1] Let mutate x$2_@0[1:9] = Array []\n+ [2] Let mutate y$3_@0[1:9] = undefined\n [3] Const mutate $4_@1 = false\n [4] Const mutate $5_@2 = true\n Switch (read props$1.p0)\n@@ -44,7 +44,7 @@ bb4:\n Goto bb2\n bb2:\n predecessor blocks: bb4 bb0\n- [8] Reassign mutate y$3_@0[1:8] = read x$2_@0\n+ [8] Reassign mutate y$3_@0[1:9] = read x$2_@0\n Goto bb1\n bb1:\n predecessor blocks: bb2 bb0\n@@ -61,8 +61,8 @@ flowchart TB\n %% Basic Blocks\n subgraph bb0\n bb0_instrs[\"\n- [1] Let mutate x$2_@0[1:8] = Array []\n- [2] Let mutate y$3_@0[1:8] = undefined\n+ [1] Let mutate x$2_@0[1:9] = Array []\n+ [2] Let mutate y$3_@0[1:9] = undefined\n [3] Const mutate $4_@1 = false\n [4] Const mutate $5_@2 = true\n \"]\n@@ -78,7 +78,7 @@ flowchart TB\n end\n subgraph bb2\n bb2_instrs[\"\n- [8] Reassign mutate y$3_@0[1:8] = read x$2_@0\n+ [8] Reassign mutate y$3_@0[1:9] = read x$2_@0\n \"]\n bb2_instrs --> bb2_terminal([\"Goto\"])\n end\n","body":"closes #796","parents":["e59c17ad85c0b290e4b78838832ba5a054f113a8"],"commit":{"authoredAt":"2022-11-21T11:44:02-08:00","revision":"391aeab5aa683342457aa75d1c7c389601463930","authorName":"Joseph Savona","shortRevision":"391aeab5aa","subject":"MutableRange is start(inclusive) to end(exclusive)","authorEmail":"josephsavona@users.noreply.github.com"},"files":[{"path":"compiler\/forget\/src\/HIR\/HIR.ts","status":"M"},{"path":"compiler\/forget\/src\/HIR\/InferMutableLifetimes.ts","status":"M"},{"path":"compiler\/forget\/src\/HIR\/InferReactiveScopeVariables.ts","status":"M"},{"path":"compiler\/forget\/src\/HIR\/PrintHIR.ts","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/alias-while.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/assignment-variations.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/call.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/component.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-break.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/conditional-on-mutable.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/constructor.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/frozen-after-alias.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/hooks-freeze-possibly-mutable-arguments.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent-across-if.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/independent.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent-across-if.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/interdependent.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/logical-expression.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-loops.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-lifetime-with-aliasing.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/mutable-liverange-loop.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/property-assignment.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scope-grouping.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/reactive-scopes.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment-conditional.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/reassignment.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/reverse-postorder.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/simple-alias.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx-2.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-call-jsx.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-multiple-if.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-complex-single-if.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-for.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-if-else.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-newexpression.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-objectexpression-phi.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property-call.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-property.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-return.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-shadowing.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-simple-phi.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-switch.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-throw.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/ssa-while.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch-non-final-default.expect.md","status":"M"},{"path":"compiler\/forget\/src\/__tests__\/fixtures\/hir\/switch.expect.md","status":"M"}]}

dillon1000/react

Files changed