Skip to content

fix(gates): widen six pattern-matchers that were failing toward "no match" (gate-7 ×6, gate-48 ×2) - #482

Merged
rubenvdlinde merged 3 commits into
mainfrom
S42/gate-checker-pattern-matching-widenings
Aug 16, 2026
Merged

fix(gates): widen six pattern-matchers that were failing toward "no match" (gate-7 ×6, gate-48 ×2)#482
rubenvdlinde merged 3 commits into
mainfrom
S42/gate-checker-pattern-matching-widenings

Commits

Commits on Aug 16, 2026