Skip to content

Do not duplicate JSpecify annotations when several annotations map to one - #1200

Merged
timtebeek merged 3 commits into
mainfrom
tim/bern
Aug 14, 2026
Merged

Do not duplicate JSpecify annotations when several annotations map to one#1200
timtebeek merged 3 commits into
mainfrom
tim/bern

Commits

Commits on Aug 13, 2026