[ASDAlexander77]

Fixes #465.

Under rc, cond ? new C() : null freed the new object. The then-branch yields new C() cast to C | null. OwnedReturnConsumptionPass decides whether a branch hands an unclaimed reference out by looking at the yielded value itself, and here that value was the cast, not the new. So it saw no branch carrying a reference and left the ts.If alone. The new's reference was then released as a discarded temporary at the end of its branch, before the merge. The result pointed at freed memory, and its receiver released it a second time.

The pass now looks through the casts that only widen a branch's yield: a cast to a union or an optional, OptionalValue, and CreateUnionInstance. The producer's reference goes out with the ts.If result, as it already did when a branch yielded the new itself. A cast that makes a new value, such as a box to any, carries its own reference and is not looked through.

Tests

• New 00ternary_new_or_null.ts: registered as compile and JIT tests and in the rc/none corpus. It failed under rc before the change. Each case reads the result after allocations of the same size have reused anything freed:
  • a local cond ? new C() : null;
  • the same ternary returned from a function;
  • an optional cond ? n : undefined;
  • the ternary inside a loop.
• The original repros now print 5 under rc, where before they printed 0 or crashed.
• The own corpus is unchanged: 453 / 593 plain, 451 / 593 with --opt.
• Full Release ctest: 3636/3637. The one failure is test-compile-gc-defaultlib-collector, the known local LNK2005 against the stale installed default library; it fails on main the same way.

🤖 Generated with Claude Code