Skip to content

Accepting wildcards refuse instead of widening: arrow-contract walls, neutral verdicts, and the wet-step exit gates (re-derives #13382, #13383, #13411) - #13694

Merged
gunbai-bot[bot] merged 2 commits into
mainfrom
session/smart-dove-862
Oct 10, 2026
Merged

Accepting wildcards refuse instead of widening: arrow-contract walls, neutral verdicts, and the wet-step exit gates (re-derives #13382, #13383, #13411)#13694
gunbai-bot[bot] merged 2 commits into
mainfrom
session/smart-dove-862

Commits

  1. Commits on Oct 10, 2026