Skip to content

Two collection guards passed against no implementation at all - #265

Merged
adamjohnwright merged 3 commits into
mainfrom
tests/non-vacuous-collection-guards
Sep 19, 2026
Merged

adamjohnwright merged 3 commits into
mainfrom
tests/non-vacuous-collection-guards

Commits

Commits on Sep 19, 2026