function Validate({x, input}) {
  'use no memo';
  return (
    <>
      <ValidateMemoization inputs={[]} output={x[0]} onlyCheckCompiled={true} />
      <ValidateMemoization
        inputs={[input]}
        output={x[1]}
        onlyCheckCompiled={true}
      />
    </>
  );
}
Fixture for granular iterator semantics:
1. ConditionallyMutate the iterator itself, depending on whether the iterator
   is a mutable iterator.
2. Capture effect on elements within the iterator.