[compiler] Repro of missing memoization due to capturing w/o mutation

compiler/packages/babel-plugin-react-compiler/src/__tests__/fixtures/compiler/error.todo-repro-missed-memoization-from-capture-in-invoked-function-inferred-as-mutation.expect.md

@@ -0,0 +1,54 @@
+
+## Input
+
+```javascript
+// @flow @validatePreserveExistingMemoizationGuarantees
+import {useMemo} from 'react';
+import {logValue, useFragment, useHook, typedLog} from 'shared-runtime';
+
+component Component() {
+  const data = useFragment();
+
+  const getIsEnabled = () => {
+    if (data != null) {
+      return true;
+    } else {
+      return false;
+    }
+  };
+
+  // We infer that getIsEnabled returns a mutable value, such that
+  // isEnabled is mutable
+  const isEnabled = useMemo(() => getIsEnabled(), [getIsEnabled]);
+
+  // We then infer getLoggingData as capturing that mutable value,
+  // so any calls to this function are then inferred as extending
+  // the mutable range of isEnabled
+  const getLoggingData = () => {
+    return {
+      isEnabled,
+    };
+  };
+
+  // The call here is then inferred as an indirect mutation of isEnabled
+  useHook(getLoggingData());
+
+  return <div onClick={() => typedLog(getLoggingData())} />;
+}
+
+```
+
+
+## Error
+
+```
+  16 |   // We infer that getIsEnabled returns a mutable value, such that
+  17 |   // isEnabled is mutable
+> 18 |   const isEnabled = useMemo(() => getIsEnabled(), [getIsEnabled]);
+     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ CannotPreserveMemoization: React Compiler has skipped optimizing this component because the existing manual memoization could not be preserved. This value was memoized in source but not in compilation output. (18:18)
+  19 |
+  20 |   // We then infer getLoggingData as capturing that mutable value,
+  21 |   // so any calls to this function are then inferred as extending
+```
+
+

compiler/packages/babel-plugin-react-compiler/src/__tests__/fixtures/compiler/error.todo-repro-missed-memoization-from-capture-in-invoked-function-inferred-as-mutation.js

@@ -0,0 +1,33 @@
+// @flow @validatePreserveExistingMemoizationGuarantees
+import {useMemo} from 'react';
+import {logValue, useFragment, useHook, typedLog} from 'shared-runtime';
+
+component Component() {
+  const data = useFragment();
+
+  const getIsEnabled = () => {
+    if (data != null) {
+      return true;
+    } else {
+      return false;
+    }
+  };
+
+  // We infer that getIsEnabled returns a mutable value, such that
+  // isEnabled is mutable
+  const isEnabled = useMemo(() => getIsEnabled(), [getIsEnabled]);
+
+  // We then infer getLoggingData as capturing that mutable value,
+  // so any calls to this function are then inferred as extending
+  // the mutable range of isEnabled
+  const getLoggingData = () => {
+    return {
+      isEnabled,
+    };
+  };
+
+  // The call here is then inferred as an indirect mutation of isEnabled
+  useHook(getLoggingData());
+
+  return <div onClick={() => typedLog(getLoggingData())} />;
+}