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

Merge branch 'main' into tests/non-vacuous-collection-guards

076e020
Select commit
Loading
Failed to load commit list.