You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Now just zubanls/zuban#518 and then I think everything under src/trio/_core/_tests/type_tests works. (I haven't checked src/trio/_tests/type_tests)
We need to make a couple changes because zuban recognizes mypy error codes but the inference logic is slightly different, but they're pretty simple to do.
Activity
A5rocks commentedon Jun 27, 2026
Blocked on zubanls/zuban#483 and zubanls/zuban#484.
jakkdl commentedon Jul 29, 2026
(both blockers have now been resolved)
A5rocks commentedon Jul 29, 2026
Yeah, unfortunately there's been no release since then :(
(I could probably compile from source but ehhh, not worth it :^)
A5rocks commentedon Aug 1, 2026
Now just zubanls/zuban#518 and then I think everything under
src/trio/_core/_tests/type_testsworks. (I haven't checkedsrc/trio/_tests/type_tests)We need to make a couple changes because zuban recognizes mypy error codes but the inference logic is slightly different, but they're pretty simple to do.
CheViana commentedon Oct 7, 2026
I would like to try to try out type checkers zuban, ty, pyrefly for trio. perhaps the blocker issues are fixed/outdated.
A5rocks commentedon Oct 7, 2026
Feel free but I believe the blockers still exist. They're hard issues to solve for the type-checker!