Review all open JSpecify PRs #4231

Copilot · 2026-01-28T23:10:05Z

Comprehensive review of 12 open JSpecify annotation PRs to assess readiness for merge.

Summary

PR	Scope	Status
#4184	Main JSpecify wave 2 (77 files)	✅ Ready
#4216	graphql.language (10 classes)	🔴 Merge conflict
#4217-#4219, #4221-#4224	language/execution/analysis	✅ Ready
#4220	graphql.language (10 classes)	⚠️ Breaking: removes `NamedNode` from `OperationDefinition`
#4225	graphql.execution (10 classes)	⚠️ 3 maintainer TODOs on `ResultPath`
#4226	graphql.instrumentation (10 classes)	⚠️ Static class annotation confusion

PR Add JSpecify annotations to 10 language package classes #4220: Removes NamedNode interface from OperationDefinition because operations support null names for anonymous queries—this is an API breaking change
PR Add JSpecify annotations to 10 classes in graphql.execution package #4225: ResultPath adds assertNotNull calls that need verification per maintainer comments
PR Add JSpecify annotations to 10 instrumentation classes #4226: Non-builder static classes incorrectly marked @NullUnmarked

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Initial plan

468838a

Copilot AI assigned Copilot and andimarek Jan 28, 2026

Copilot started work on behalf of andimarek January 28, 2026 23:10 View session

Copilot AI changed the title ~~[WIP] Review open JSpecify pull requests~~ Review all open JSpecify PRs Jan 28, 2026

Copilot AI requested a review from andimarek January 28, 2026 23:15

Copilot finished work on behalf of andimarek January 28, 2026 23:15