Only set alternate/consequent if terminal is goto

compiler/packages/babel-plugin-react-compiler/src/HIR/Environment.ts

@@ -632,7 +632,7 @@ const EnvironmentConfigSchema = z.object({
    * // output
    * const x = b;
    */
-  enableTernaryConstantPropagation: z.boolean().default(false),
+  enableTernaryConstantPropagation: z.boolean().default(true),
 });
 
 export type EnvironmentConfig = z.infer<typeof EnvironmentConfigSchema>;

compiler/packages/babel-plugin-react-compiler/src/Optimization/ConstantPropagation.ts

@@ -190,8 +190,20 @@ function applyConstantPropagation(
             loc: terminal.loc,
           };
 
-          fn.body.blocks.get(branchBlock.terminal.consequent)!.kind = 'block';
-          fn.body.blocks.get(branchBlock.terminal.alternate)!.kind = 'block';
+          block.kind = 'block';
+
+          const consequent = fn.body.blocks.get(
+            branchBlock.terminal.consequent,
+          )!;
+          const alternate = fn.body.blocks.get(branchBlock.terminal.alternate)!;
+
+          if (consequent.terminal.kind === 'goto') {
+            consequent.kind = 'block';
+          }
+
+          if (alternate.terminal.kind === 'goto') {
+            alternate.kind = 'block';
+          }
         }
 
         break;

compiler/packages/babel-plugin-react-compiler/src/ReactiveScopes/AlignReactiveScopesToBlockScopesHIR.ts

@@ -216,7 +216,7 @@ export function alignReactiveScopesToBlockScopesHIR(fn: HIRFunction): void {
         if (node == null) {
           // Transition from block->value block, derive the outer block range
           CompilerError.invariant(fallthrough !== null, {
-            reason: `Expected a fallthrough for value block`,
+            reason: `Expected a fallthrough for value block ${terminal.id}`,
             loc: terminal.loc,
           });
           const fallthroughBlock = fn.body.blocks.get(fallthrough)!;

compiler/packages/babel-plugin-react-compiler/src/__tests__/fixtures/compiler/constant-propagation-ternary-unary.js

@@ -4,7 +4,7 @@ import {Stringify} from 'shared-runtime';
 function foo() {
   let _b;
   const b = true;
-  _b = !b ? 'bar' : 'baz';
+  _b = !b ? 'bar' : false ? 'foo' : 'baz';
 
   return (
     <Stringify