Commit Graph

  • 29d7f22c1f [ty] Add ty.configuration and ty.configurationFile options (#22053) Micha Reiser 2025-12-22 16:13:20 +01:00
  • 8fc4349fd3 [ty] Split suppression.rs into multiple smaller modules (#22141) Micha Reiser 2025-12-22 16:08:56 +01:00
  • 816b19c4a6 [ty] Rename set_invalid_syntax to set_invalid_type_annotation (#22140) Matthew Mckee 2025-12-22 14:29:03 +00:00
  • 87406b43ea Fix iter example in usafe fixes doc (#22118) Peter Law 2025-12-22 14:25:28 +00:00
  • 422e99ea70 [ty] Add inlay hint request time log (#22138) Matthew Mckee 2025-12-22 14:08:49 +00:00
  • ea6730f546 [ty] Speed-up instrumented benchmarks (#22133) Micha Reiser 2025-12-22 15:06:22 +01:00
  • a46835c224 [ty] Set flag to avoid type[T@f] being inserted when you double-click on the inlay (#22139) Matthew Mckee 2025-12-22 14:00:45 +00:00
  • 884e83591e [ty] Update salsa (#22072) Micha Reiser 2025-12-22 13:22:54 +01:00
  • 6b3dd28e63 [ty] Make a server snapshot less painful to update (#22132) Alex Waygood 2025-12-22 12:13:58 +00:00
  • 572f57aa3c Fix GitHub Actions output format for multi-line diagnostics (#22108) Harutaka Kawamura 2025-12-22 18:08:07 +09:00
  • ed423e0ae2 [ty] Speedup ty-walltime benchmarks (#22126) Micha Reiser 2025-12-22 08:44:17 +01:00
  • fee4e2d72a [ty] Distribute type[] over unions (#22115) Charlie Marsh 2025-12-21 18:45:29 -05:00
  • b6e84eca16 [ty] Document invalid-syntax-in-forward-annotation and escape-character-in-forward-annotation (#22130) Will Duke 2025-12-21 19:35:44 +00:00
  • b4c2825afd [ty] Move module resolver code into its own crate (#22106) Micha Reiser 2025-12-21 12:00:34 +01:00
  • 6c2d87ed80 Invert case zb/cache-union-builder Zanie Blue 2025-12-18 09:59:00 -06:00
  • 7d4831597b Lint Zanie Blue 2025-12-18 08:28:53 -06:00
  • 81f39680d2 [ty] Cache Type::is_disjoint_from Zanie Blue 2025-12-17 09:25:04 -06:00
  • 3c2f534480 [ty] Cache Type::is_subtype_of Zanie Blue 2025-12-17 09:22:17 -06:00
  • 592a674447 [ty] Cache ClassType::nearest_disjoint_base Zanie Blue 2025-12-17 09:21:25 -06:00
  • ad41728204 [ty] Avoid temporarily storing invalid multi-inference attempts (#22103) Ibraheem Ahmed 2025-12-20 11:20:53 -05:00
  • 3ec63b964c [ty] Add support for dict(...) calls in typed dict contexts (#22113) Hugo 2025-12-20 16:59:03 +01:00
  • f9a0e1e3f6 [ty] Fix panic introduced in #22076 (#22112) Matthew Mckee 2025-12-20 15:53:45 +00:00
  • ef4507be96 Remove in-workflow deployment to Cloudflare Pages (#22098) William Woodruff 2025-12-20 10:21:47 -05:00
  • 3398ab23a9 Update comments in sync_typeshed.yaml workflow (#22109) Alex Waygood 2025-12-20 12:19:04 +00:00
  • 5b475b45aa [ty] Add --force-exclude option (#22076) Micha Reiser 2025-12-20 10:03:41 +01:00
  • 2a959ef3f2 [ty] Avoid narrowing on non-generic calls (#22102) Ibraheem Ahmed 2025-12-19 23:18:07 -05:00
  • 674d3902c6 [ty] Only prefer declared types in non-covariant positions (#22068) Ibraheem Ahmed 2025-12-19 17:27:31 -05:00
  • fd525e8cc4 review zb/narrow-track Zanie Blue 2025-12-19 15:37:11 -06:00
  • 1a18ada931 [ty] Run mypy_primer and typing-conformance workflows on fewer PRs (#22096) Alex Waygood 2025-12-19 19:31:20 +00:00
  • dde0d0af68 [ty] List rules in alphabetical order in the reference docs (#22097) Alex Waygood 2025-12-19 19:11:05 +00:00
  • b342f60b40 Update T201 suggestion to not use root logger to satisfy LOG015 (#22059) Chris Bachhuber 2025-12-19 20:08:12 +01:00
  • 2151c3d351 [ty] Document that several rules are disabled by default because of the number of false positives they produce (#22095) Alex Waygood 2025-12-19 18:45:18 +00:00
  • cdb7a9fb33 [ty] Classify docstrings in semantic tokens (syntax highlighting) (#22031) Aria Desires 2025-12-19 13:36:01 -05:00
  • e1f9ba7f05 don't substitute recursively! dcreager/generic-horn-clauses Douglas Creager 2025-12-19 13:35:33 -05:00
  • df1552b9a4 [ty] Sync vendored typeshed stubs (#22091) github-actions[bot] 2025-12-19 18:23:09 +00:00
  • 77de3df150 [ty] Fix sync-typeshed workflow timeouts (#22090) Alex Waygood 2025-12-19 18:09:08 +00:00
  • fc3000115b [ty] Determine completion "kind" primarily based on how the symbol was defined ag/fix-local-var-completion-kind Andrew Gallant 2025-12-19 09:39:35 -05:00
  • 0f18a08a0a [ty] Respect intersections in iterations (#21965) Charlie Marsh 2025-12-19 12:36:37 -05:00
  • 3cf876e27a propagate the narrowed element instead of skipping narrowing entirely Zanie Blue 2025-12-19 11:20:15 -06:00
  • b63b3c13fb Upload full ecosystem report as a GitHub Actions artifact (#22086) William Woodruff 2025-12-19 11:41:21 -05:00
  • 270d755621 [ty] Avoid storing invalid multi-inference attempts (#22062) Ibraheem Ahmed 2025-12-19 10:38:47 -05:00
  • 6f5ab39458 expose applicability in ruff rule JSON output brent/document-safety Brent Westbrook 2025-12-19 10:27:01 -05:00
  • 6a2f78786a [ty] Fix sub-union optimization to require both flags be No zb/fix-sub-union Claude 2025-12-19 15:17:54 +00:00
  • 9809405b05 [ty] Only clear output between two successful checks (#22078) Micha Reiser 2025-12-19 15:16:54 +01:00
  • 28cdbb18c5 [ty] Minor followups to #22048 (#22082) Alex Waygood 2025-12-19 13:58:59 +00:00
  • f9d1a282fb [ty] Collect mdtest failures as part of the assertion message rather than printing them to the terminal immediately (#22081) Alex Waygood 2025-12-19 13:53:31 +00:00
  • 0bac023cd2 [ty] Lockfiles for mdtests with external dependencies (#22077) David Peter 2025-12-19 14:29:52 +01:00
  • 30efab8138 [ty] Only print dashed line for failing tests (#22080) Micha Reiser 2025-12-19 14:20:03 +01:00
  • 58d25129aa [ty] Visit class arguments in source order for semantic tokens (#22063) RasmusNygren 2025-12-19 14:19:49 +01:00
  • 7076329d5d [ty] Generic "manual" PEP 695 type aliases david/generic-manual-pep695 David Peter 2025-12-04 22:12:09 +01:00
  • 7b6d0a90bc Apply same check for literals Micha Reiser 2025-12-19 11:58:18 +01:00
  • 07d352741a [ty] Skip redundancy checks for sub-union-elements Micha Reiser 2025-12-19 08:54:01 +01:00
  • e177cc2a5a [ty] Improve union builder performance (#22048) Micha Reiser 2025-12-19 08:29:16 +01:00
  • 30ce679b9a [ty] Fix rules severity URL (#22069) Micha Reiser 2025-12-19 08:25:02 +01:00
  • 2fd90afc7a [ty] Track narrowing unions to prevent exponential blowup Zanie Blue 2025-12-18 20:24:33 -06:00
  • c3b4fab764 [ty] Track narrowing unions to prevent exponential blowup zb/debug-unions Zanie Blue 2025-12-18 20:24:33 -06:00
  • abf17c6ef4 [ty] Add short-circuits for union type relation checks Zanie Blue 2025-12-18 20:24:18 -06:00
  • b9f65213d0 [ty] Cache Type::is_assignable_to Zanie Blue 2025-12-18 20:24:03 -06:00
  • ff2553665c [ty] Cache ClassType::is_subclass_of Zanie Blue 2025-12-18 20:23:28 -06:00
  • d6a98d8f2c mdlint Douglas Creager 2025-12-18 20:59:34 -05:00
  • 15c9d66ef6 document missing case Douglas Creager 2025-12-18 20:56:20 -05:00
  • 76854fdb15 [ty] Unwrap enum.nonmember values (#22025) Charlie Marsh 2025-12-18 19:59:49 -05:00
  • 8ebbe6b0f6 Invert case Zanie Blue 2025-12-18 09:59:00 -06:00
  • 6bc88c90b2 [ty] Cache Type::is_disjoint_from Zanie Blue 2025-12-17 09:25:04 -06:00
  • 3c694c7d86 [ty] Cache Type::is_subtype_of Zanie Blue 2025-12-17 09:22:17 -06:00
  • 1603948aae [ty] Cache ClassType::nearest_disjoint_base Zanie Blue 2025-12-17 09:21:25 -06:00
  • cb6ba23b0a More lazy negated computations Micha Reiser 2025-12-18 09:17:00 +01:00
  • a918833d19 Defer insertion Micha Reiser 2025-12-18 09:01:08 +01:00
  • bcf9295973 [ty] Small union builder nits Micha Reiser 2025-12-18 08:17:56 +01:00
  • 5a2d3cda3d [ty] Remove some nondeterminism in constraint set tests (#22064) Douglas Creager 2025-12-18 19:00:20 -05:00
  • e938ce160e fill in missing metadata with a script Brent Westbrook 2025-12-18 17:56:33 -05:00
  • 80be3869a1 add one example usage to pass this rule's tests Brent Westbrook 2025-12-18 12:44:57 -05:00
  • f051978b6d Add minimum fix safety to violation metadata Brent Westbrook 2025-12-18 12:30:05 -05:00
  • fa57253980 [ty] Implement disjointness for TypedDicts (#22044) Jack O'Connor 2025-12-18 13:20:22 -08:00
  • b7fbd986bc [ruff] fix preview-since values for RUF103 and RUF104 (#22061) Amethyst Reese 2025-12-18 13:18:04 -08:00
  • 3d334a313e Report diagnostics for invalid/unmatched range suppression comments (#21908) Amethyst Reese 2025-12-18 12:58:58 -08:00
  • 2e44a861cb [ty] Disable possibly-missing-imports by default (#22041) Aria Desires 2025-12-18 15:06:34 -05:00
  • 45bbb4cbff Bump 0.14.10 (#22058) 0.14.10 Dylan 2025-12-18 13:08:17 -06:00
  • 42b972753a [ty] Use datatest instead of dirtest (#21937) Micha Reiser 2025-12-18 19:05:02 +01:00
  • f7ec178400 [ty] Gracefully handle client requests that can't be deserialized (#22051) Micha Reiser 2025-12-18 19:01:01 +01:00
  • df090b40af fixup gankra/sfinae-ultimate Aria Desires 2025-12-18 13:00:50 -05:00
  • 6d7aa3684c remove fixme Aria Desires 2025-12-18 12:52:35 -05:00
  • 4f22ab8b70 Make the default database truly statically infallible Aria Desires 2025-12-18 12:48:38 -05:00
  • c315164732 [ty] Don't suggest keyword statements when only expressions are valid Rasmus Nygren 2025-12-15 21:53:06 +01:00
  • 3d0dea21ad use or_else here, it's cleaner Douglas Creager 2025-12-18 11:17:04 -05:00
  • a35c733b64 clean up callback types Douglas Creager 2025-12-18 11:16:44 -05:00
  • a694ede51d clippy Douglas Creager 2025-12-18 11:11:43 -05:00
  • 3cc77a626d update higher-order callable tests Douglas Creager 2025-12-17 21:37:25 -05:00
  • 056414bfac typevar ordering strikes again Douglas Creager 2025-12-18 09:31:52 -05:00
  • bb1955e98c [ty] Use cursor context in a few more places... Andrew Gallant 2025-12-17 15:01:36 -05:00
  • 070e08a043 [ty] Move completion function to the top Andrew Gallant 2025-12-17 14:41:43 -05:00
  • bab3924833 [ty] Refactor completion generation Andrew Gallant 2025-12-16 08:00:11 -05:00
  • 10748b2fdb [flake8-pytest-style] Allow match and check keyword arguments without an expected exception type (PT010) (#21964) mahiro 2025-12-19 00:42:06 +09:00
  • 56539db520 [ty] Fix some configuration panics in the LSP (#22040) Aria Desires 2025-12-18 09:47:02 -05:00
  • 804842ac80 failing tests for propagating typevars Douglas Creager 2025-12-17 21:07:16 -05:00
  • 026b753735 handle the covariant case Douglas Creager 2025-12-17 19:35:17 -05:00
  • 6113935578 partial specialize single typevar Douglas Creager 2025-12-17 19:25:18 -05:00
  • 566bfc5ecb partial spec is an enum Douglas Creager 2025-12-17 19:23:56 -05:00
  • 7d38dc8685 restructure a bit Douglas Creager 2025-12-17 17:59:40 -05:00
  • f22890bd88 add quantification test cases Douglas Creager 2025-12-17 17:06:20 -05:00