Skip to content

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set - #19438

Closed
os-steve wants to merge 16 commits into
mainfrom
claude/issue-19384-t2-closed-set-opener
Closed

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set#19438
os-steve wants to merge 16 commits into
mainfrom
claude/issue-19384-t2-closed-set-opener

docs(pm): name the census the header's `(` and `{` counts are read from

c222a58
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar