Skip to content

Fix ty 0.0.55 diagnostics and prefab-ui protocol version drift - #4428

Merged
jlowin merged 1 commit into
mainfrom
claude/sweet-curie-0c491c
Jul 5, 2026
Merged

Fix ty 0.0.55 diagnostics and prefab-ui protocol version drift#4428
jlowin merged 1 commit into
mainfrom
claude/sweet-curie-0c491c

Conversation

@jlowin

@jlowin jlowin commented Jul 5, 2026

Copy link
Copy Markdown
Member

CI on main started failing static analysis and unit tests: ty 0.0.55 now resolves several max() return types on its own, so the # ty:ignore[invalid-return-type] and cast(...) wrappers around them trip unused-ignore-comment/redundant-cast (which are configured to fail the build). Separately, tests/test_apps_prefab.py hardcoded the prefab-ui protocol version as the literal "0.2", and prefab-ui 0.20.1 bumped it to 0.3 — since prefab-ui is intentionally excluded from the exclude-newer lockfile pin, that test breaks on every prefab-ui release regardless of when we last touched this repo.

This removes the now-unused suppressions, adds one new targeted ty: ignore[no-matching-overload] where ty is now correctly flagging a real overload gap in ProxyClient.__init__, asserts against prefab_ui.app.PROTOCOL_VERSION instead of a literal in the tests, and bumps the ty floor to 0.0.55.

Closes #4241

Removes now-unused ty:ignore/type:ignore/cast suppressions that a
newer ty resolves correctly on its own, adds a targeted ignore for a
Client.__init__ overload gap ty now catches, and stops hardcoding the
prefab-ui protocol version literal in tests so it tracks
prefab_ui.app.PROTOCOL_VERSION instead of breaking on every prefab-ui
release. Also bumps the ty floor to 0.0.55.
@marvin-context-protocol marvin-context-protocol Bot added bug Something isn't working. Reports of errors, unexpected behavior, or broken functionality. tests high-priority labels Jul 5, 2026
@jlowin
jlowin merged commit 47907e0 into main Jul 5, 2026
23 checks passed
@jlowin
jlowin deleted the claude/sweet-curie-0c491c branch July 5, 2026 23:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working. Reports of errors, unexpected behavior, or broken functionality. tests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Upgrade checks failing on main branch

1 participant