manual_ternary_return

if c then return a else return b end.

Flux. Two returns that differ only in the value are one: return c ? a : b. The ternary picks by c alone, so the rewrite is the same program. alloy flux --fix rewrites it.

Set its level in the [lint] table of alloy.toml, or for one file with --@alloy-lint.