Skip to content

XL-2: a match arm keeps its own refusal cause in every arm position; the value reader carries the fold's refusal - #12321

Closed
gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/bright-boar-848
Closed

XL-2: a match arm keeps its own refusal cause in every arm position; the value reader carries the fold's refusal#12321
gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/bright-boar-848

Locus witness: drop the not-at-arm claims (fooled by the comma layout…

d14dc35
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar