[ASDAlexander77]

Problem

Under -mm=rc, and so under -mm=own, which runs its inference on rc's IR, this gave neither new a ts.Release:

const h = new C();
const h2 = new C();
const each: C = b ? h : h2;

let each = b ? h : h2 leaked both as well, and b ? h : new C() leaked h. const each: C = h; was fine. This is why the class cases of own_ternary_outer_loop (branch own-ternary-outer-loop) never freed h/h2 under either model. The interface cases did not leak: there the ts.New is used by ts.NewInterface, not by the branch.

releaseDiscardedTemporaries gives a folded const (__owned_result_named) its reference back at the end of its block. But allUsesReleasableInOwnBlock refused any value with a terminator user, and the ternary's ts.If yields h through ts.Result.

Fix (OwnedReturnConsumptionPass.cpp)

• allUsesReleasableInOwnBlock now walks a worklist. When a ts.Result ends a branch of a ts.If with one result (handedOnByConditional), the value is handed on to the If's result. That result's users are then judged by the same rules: no other terminator, in the block or in a structured statement in it, and before the generator release range ends. A reader of a result nobody owns retains it. Where a branch makes the result owned, consumeConditionalResults retained h for it. Either way, the release at the end of h's block stays balanced.
• storedIntoUnownedLocalOutside takes the same step. So let n: C; if (b) { const h = new C(); n = b ? h : h2; } still keeps h (it leaks, as before) instead of freeing what n reads after the if.
• escapesThroughStore takes it too, so a choice yielded from a generator under own is not released before the yield. This is defensive only: a generator's locals live in its state object, so no folded const reaches it today.

Tests

• tests/00conditional_named_const_release.ts covers const, let, made-on-one-side, nested, in a loop, returned, and given to an unowned local outside. Each value is read after churn() reuses freed blocks. The file is in TSLANG_CORPUS (default/rc/none, compile + jit). It is not run under own: own still rejects these merges, partly until own-ternary-outer-loop lands, and returned/stored merges stay errors there.
• conditional-named-const-release.cmake (test-rc-conditional-named-const-release) reads the rc IR. Each named new must be released exactly once, the one in assignedOutside never, and the owned ts.If in chosenOrNew once. With the pass from main it fails: constChosen` releases %3 0 times, not 1.
• Windows Release: 5441/5441 passed. Linux (WSL, ninja): 5423/5423 passed.
• Merged locally with origin/own-ternary-outer-loop (not committed): own/own_ternary_outer_loop.ts passes under own/rc/gc/none (jit and compile), and --verify-ownership is clean. constClass, letClass and branched now release both news under rc and own.

🤖 Generated with Claude Code