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

Move `RemoveDuplicateAnnotations` to rewrite-static-analysis

652f6b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 errors and 11 warnings
build / build
succeeded Aug 14, 2026 in 10m 55s