diff --git a/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-destructured-rest-element.expect.md b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-destructured-rest-element.expect.md
new file mode 100644
index 0000000000..310b7ada9b
--- /dev/null
+++ b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-destructured-rest-element.expect.md
@@ -0,0 +1,26 @@
+
+## Input
+
+```javascript
+function Component(props) {
+  // b is an object, must be memoized even though the input is not memoized
+  const { a, ...b } = props.a;
+  // d is an array, mut be memoized even though the input is not memoized
+  const [c, ...d] = props.c;
+  return <div b={b} d={d}></div>;
+}
+
+```
+
+## Code
+
+```javascript
+function Component(props) {
+  const { a, ...b } = props.a;
+
+  const [c, ...d] = props.c;
+  return <div b={b} d={d}></div>;
+}
+
+```
+      
\ No newline at end of file
diff --git a/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-destructured-rest-element.js b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-destructured-rest-element.js
new file mode 100644
index 0000000000..cdfce1b258
--- /dev/null
+++ b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-destructured-rest-element.js
@@ -0,0 +1,7 @@
+function Component(props) {
+  // b is an object, must be memoized even though the input is not memoized
+  const { a, ...b } = props.a;
+  // d is an array, mut be memoized even though the input is not memoized
+  const [c, ...d] = props.c;
+  return <div b={b} d={d}></div>;
+}
diff --git a/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-non-escaping-interleaved-allocating-nested-dependency.expect.md b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-non-escaping-interleaved-allocating-nested-dependency.expect.md
new file mode 100644
index 0000000000..206a5c2488
--- /dev/null
+++ b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-non-escaping-interleaved-allocating-nested-dependency.expect.md
@@ -0,0 +1,76 @@
+
+## Input
+
+```javascript
+function Component(props) {
+  // a can be independently memoized, is not mutated later
+  // but a is a dependnecy of b, which is a dependency of c.
+  // we have to memoize a to avoid breaking memoization of b,
+  // to avoid breaking memoization of c.
+  const a = [props.a];
+
+  // a can be independently memoized, is not mutated later,
+  // but is a dependency of d which is part of c's scope.
+  // we have to memoize b to avoid breaking memoization of c.
+  const b = [a];
+
+  // c and d are interleaved and grouped into a single scope,
+  // but they are independent values. d does not escape, but
+  // we need to ensure that b is memoized or else b will invalidate
+  // on every render since a is a dependency. we also need to
+  // ensure that a is memoized, since it's a dependency of b.
+  const c = [];
+  const d = {};
+  d.b = b;
+  c.push(props.b);
+
+  return c;
+}
+
+```
+
+## Code
+
+```javascript
+function Component(props) {
+  const $ = React.unstable_useMemoCache(7);
+  const c_0 = $[0] !== props.a;
+  let t0;
+  if (c_0) {
+    t0 = [props.a];
+    $[0] = props.a;
+    $[1] = t0;
+  } else {
+    t0 = $[1];
+  }
+  const a = t0;
+  const c_2 = $[2] !== a;
+  let t1;
+  if (c_2) {
+    t1 = [a];
+    $[2] = a;
+    $[3] = t1;
+  } else {
+    t1 = $[3];
+  }
+  const b = t1;
+  const c_4 = $[4] !== b;
+  const c_5 = $[5] !== props.b;
+  let c;
+  if (c_4 || c_5) {
+    c = [];
+    const d = {};
+    d.b = b;
+
+    c.push(props.b);
+    $[4] = b;
+    $[5] = props.b;
+    $[6] = c;
+  } else {
+    c = $[6];
+  }
+  return c;
+}
+
+```
+      
\ No newline at end of file
diff --git a/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-non-escaping-interleaved-allocating-nested-dependency.js b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-non-escaping-interleaved-allocating-nested-dependency.js
new file mode 100644
index 0000000000..21e3cd07f6
--- /dev/null
+++ b/compiler/forget/src/__tests__/fixtures/hir/escape-analysis-non-escaping-interleaved-allocating-nested-dependency.js
@@ -0,0 +1,24 @@
+function Component(props) {
+  // a can be independently memoized, is not mutated later
+  // but a is a dependnecy of b, which is a dependency of c.
+  // we have to memoize a to avoid breaking memoization of b,
+  // to avoid breaking memoization of c.
+  const a = [props.a];
+
+  // a can be independently memoized, is not mutated later,
+  // but is a dependency of d which is part of c's scope.
+  // we have to memoize b to avoid breaking memoization of c.
+  const b = [a];
+
+  // c and d are interleaved and grouped into a single scope,
+  // but they are independent values. d does not escape, but
+  // we need to ensure that b is memoized or else b will invalidate
+  // on every render since a is a dependency. we also need to
+  // ensure that a is memoized, since it's a dependency of b.
+  const c = [];
+  const d = {};
+  d.b = b;
+  c.push(props.b);
+
+  return c;
+}