Skip to content

MAIN-R: the if-join judges branches against EACH OTHER, never against the declared return context — a well-typed coproduct construction is refused, and the verdict depends on corpus scope - #10294

Closed
gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/cool-koi-858
Closed

MAIN-R: the if-join judges branches against EACH OTHER, never against the declared return context — a well-typed coproduct construction is refused, and the verdict depends on corpus scope#10294
gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/cool-koi-858

Commits

  1. Commits on Sep 3, 2026