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

Merge remote-tracking branch 'origin/main' into session/cool-koi-858

4d079a2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar