Commit Graph

  • 701f5134ab [ty] Only consider fully static pivots when deriving transitive constraints (#22444) Douglas Creager 2026-01-08 09:31:55 -05:00
  • d5089ccd4d estimate size of distributed upper bound Douglas Creager 2026-01-08 09:05:23 -05:00
  • 1c247af1cf don't hard-code the threshold Douglas Creager 2026-01-08 08:53:17 -05:00
  • eea9ad8352 Pin maturin version (#22454) Micha Reiser 2026-01-08 12:39:51 +01:00
  • eeac2bd3ee [ty] Optimize union building for unions with many enum-literal members (#22363) Alex Waygood 2026-01-08 10:50:04 +00:00
  • 7319c37f4e docs: fix jupyter notebook discovery info for editors (#22447) Jason K Hall 2026-01-07 23:22:01 -07:00
  • 26bf64b9ef fixup Aria Desires 2026-01-07 21:57:44 -05:00
  • f87146ea54 try optimization Aria Desires 2026-01-07 21:53:05 -05:00
  • b0abf9808e Rework module resolution to be breadth-first instead of depth-first Aria Desires 2026-01-07 14:47:21 -05:00
  • 805503c19a [ruff] Improve fix title for RUF102 invalid rule code (#22100) Amethyst Reese 2026-01-07 17:23:18 -08:00
  • 68a2f6c57d [ty] Fix super() with TypeVar-annotated self and cls parameter (#22208) Charlie Marsh 2026-01-07 19:56:09 -05:00
  • abaa735e1d [ty] Improve UnionBuilder performance by changing Type::is_subtype_of calls to Type::is_redundant_with (#22337) Alex Waygood 2026-01-07 22:17:44 +00:00
  • c02d164357 Check required-version before parsing rules (#22410) Jelle Zijlstra 2026-01-07 09:29:27 -08:00
  • 88aa3f82f0 [ty] Fix generally poor ranking in playground completions Andrew Gallant 2026-01-07 12:10:12 -05:00
  • 30902497db [ty] Make signature return and parameter types non-optional (#22425) Carl Meyer 2026-01-07 09:18:39 -08:00
  • 3ad99fb1f4 [ty] Fix an mdtest title (#22439) Alex Waygood 2026-01-07 16:34:56 +00:00
  • f735222ed6 punt on very large union upper bounds for now Douglas Creager 2026-01-07 11:27:29 -05:00
  • d0ff59cfe5 [ty] Use Pool from regex_automata to reuse the matches allocations (#22438) Micha Reiser 2026-01-07 17:22:35 +01:00
  • 952193e0c6 [ty] Offer completions for T when a value has type Unknown | T Andrew Gallant 2026-01-07 07:42:28 -05:00
  • 4cba2e8f91 [ty] Generalize len() narrowing somewhat (#22330) Alex Waygood 2026-01-07 13:57:50 +00:00
  • 1a7f53022a [ty] Link to Callable __name__ FAQ directly from unresolved-attribute diagnostic (#22437) Alex Waygood 2026-01-07 13:22:53 +00:00
  • 266a7bc4c5 [ty] Fix stack overflow due to too small stack size (#22433) Micha Reiser 2026-01-07 13:55:23 +01:00
  • 3b7a5e4de8 [ty] Allow including files with no extension (#22243) Micha Reiser 2026-01-07 11:38:02 +01:00
  • 93039d055d [ty] Add --add-ignore CLI option (#21696) Micha Reiser 2026-01-07 11:17:05 +01:00
  • 3b61da0da3 Allow Python 3.15 as valid target-version value in preview (#22419) Jason K Hall 2026-01-07 01:38:36 -07:00
  • 5933cc0101 [ty] Optimize and simplify some object-related code (#22366) Alex Waygood 2026-01-07 08:35:26 +00:00
  • 2190fcebe0 [ty] Substitute ParamSpec in overloaded functions (#22416) Dhruv Manilawala 2026-01-07 13:30:34 +05:30
  • df9d6886d4 [ty] Remove redundant apply_specialization type mappings (#22422) Douglas Creager 2026-01-07 02:40:26 -05:00
  • 5133fa4516 [ty] fix typo in CODEOWNERS (#22430) Aria Desires 2026-01-07 01:44:46 -05:00
  • 21c5cfe236 Consolidate diagnostics for matched disable/enable suppression comments (#22099) Amethyst Reese 2026-01-06 18:42:51 -08:00
  • c7b528e113 load suppressions from comment ranges using block range index amy/suppression-perf Amethyst Reese 2026-01-06 18:29:40 -08:00
  • 6dd8e5020a index block ranges when walking tokens Amethyst Reese 2026-01-06 18:28:27 -08:00
  • c4b8357230 prototype indexer for block scopes by text range Amethyst Reese 2026-01-06 18:27:27 -08:00
  • f1188c74b1 fix merge conflicts Douglas Creager 2026-01-06 21:12:59 -05:00
  • e5533da00f prune types when intersecting into upper bound Douglas Creager 2026-01-06 20:56:27 -05:00
  • ac3f0db809 use subtyping dcreager/constraint-set-subtyping Douglas Creager 2026-01-06 17:31:10 -05:00
  • ca4984bf8e support constraint set rules for subtyping too Douglas Creager 2026-01-06 17:22:26 -05:00
  • f97da18267 [ty] improve typevar solving from constraint sets (#22411) Carl Meyer 2026-01-06 13:10:51 -08:00
  • bc191f59b9 Convert more ty snapshots to the new format (#22424) Alex Waygood 2026-01-06 20:01:41 +00:00
  • 10d4e5642d Revert "Special-case typing._SpecialForm" charlie/class-decorator-validate-args Charlie Marsh 2026-01-06 14:44:48 -05:00
  • 70e62b5444 Special-case typing._SpecialForm Charlie Marsh 2026-01-04 18:22:22 -05:00
  • fcf6a9999b [ty] Validate class decorator constructor arguments Charlie Marsh 2026-01-04 15:48:34 -05:00
  • 00f86c39e0 Add Alex Waygood back as a ty_ide codeowner (#22423) Alex Waygood 2026-01-06 19:24:13 +00:00
  • 2ec29b7418 [ty] Optimize Type::negate() (#22402) Alex Waygood 2026-01-06 19:17:59 +00:00
  • ab1ac254d9 [ty] fix comparisons and arithmetic with NewTypes of float (#22105) Jack O'Connor 2026-01-06 09:32:22 -08:00
  • 01de8bef3e [ty] Add named fields for Place enum (#22172) Charlie Marsh 2026-01-06 12:24:51 -05:00
  • b59f6eb5e9 [ty] Support comparisons between variable-length tuples (#21824) Charlie Marsh 2026-01-06 12:09:40 -05:00
  • 9ca78bdf76 [ty] Add Gankra as a CODEOWNER for lsp and imports work (#22420) Aria Desires 2026-01-06 11:50:16 -05:00
  • 634765c303 [ty] Emit a diagnostic for subclassing with order=True charlie/order Charlie Marsh 2026-01-06 10:51:12 -05:00
  • d65542c05e [ty] Make tuple intersection a fallible operation (#22094) Charlie Marsh 2026-01-06 10:47:04 -05:00
  • 98728b2c98 [ty] improve indented codefence rendering in docstrings (#22408) Aria Desires 2026-01-06 10:44:31 -05:00
  • 924b2972f2 Update Black tests (#22405) Dylan 2026-01-06 09:09:05 -06:00
  • d035744959 [ty] Include = in completion suggestions in playground Andrew Gallant 2026-01-06 09:05:49 -05:00
  • 44a938a78a Avoid eager query charlie/typed-mro Charlie Marsh 2026-01-05 20:58:40 -05:00
  • 3aa13b7d32 [ty] Remove ClassBase::TypedDict Charlie Marsh 2026-01-02 15:16:35 -05:00
  • 1d4dc4423a [ty] Allow enum narrowing for classes that don't override __eq__ charlie/tag-eq Charlie Marsh 2026-01-04 13:42:31 -05:00
  • ce059c4857 [ty] Sort keyword argument completions higher (#22297) RasmusNygren 2026-01-06 11:57:10 +01:00
  • acbc83d6d2 [ty] Fix stale semantic tokens after opening the same document with new content (#22414) Micha Reiser 2026-01-06 11:52:51 +01:00
  • a9e5246786 [ty] Ensure the ty playground module is only ever loaded once (#22409) RasmusNygren 2026-01-06 10:52:02 +01:00
  • 8b8b174e4f [ty] Add a diagnostic for @functools.total_ordering without a defined comparison method (#22183) Charlie Marsh 2026-01-05 23:14:06 -05:00
  • 28fa02129b [ty] Add support for @total_ordering (#22181) Charlie Marsh 2026-01-05 22:47:03 -05:00
  • 138bf79857 paramspec args/kwargs don't have a bound Douglas Creager 2026-01-05 21:22:18 -05:00
  • e39f4654cb materialize the bounds too Douglas Creager 2026-01-05 16:49:45 -05:00
  • 2c95befaff clippy Douglas Creager 2026-01-05 16:20:40 -05:00
  • 61aafffab5 prefer informative upper bound again Douglas Creager 2026-01-05 16:16:53 -05:00
  • 47840fdd0c constrain with bounds/constraints as post-processing step Douglas Creager 2026-01-05 15:32:19 -05:00
  • a10e42294b [pylint] Demote PLW1510 fix to display-only (#22318) Brent Westbrook 2026-01-05 19:36:16 -05:00
  • 12a4ca003f [flake8_print] better suggestion for basicConfig in T201 docs (#22101) Amethyst Reese 2026-01-05 11:42:47 -08:00
  • 60f7ec90ef Add a fast-test profile (#22382) Charlie Marsh 2026-01-05 14:35:43 -05:00
  • 922d964bcb [ty] emit diagnostics for method definitions and other invalid statements in TypedDict class bodies (#22351) Jack O'Connor 2026-01-05 11:28:04 -08:00
  • acd1e6c466 don't overwrite source_order Douglas Creager 2025-12-15 21:35:58 -05:00
  • 9ca1207667 no duplicate errors anymore Douglas Creager 2025-12-15 20:25:55 -05:00
  • 83378f01b1 only error when there are typevars Douglas Creager 2025-12-15 19:55:53 -05:00
  • be4e7e773d check protocols nominally, too Douglas Creager 2025-12-15 19:34:07 -05:00
  • 6df88e8fd2 fix test expectations and TODOs Douglas Creager 2025-12-15 16:46:00 -05:00
  • 288ade8381 [ty] Early return in Type::has_relation_to_impl for Type variants that are always mutually disjoint alex/relation-opt Alex Waygood 2026-01-05 15:45:49 +00:00
  • 8888c3ce1d add todos Douglas Creager 2025-12-15 14:47:53 -05:00
  • b6ca2d9050 error message Douglas Creager 2025-12-15 14:38:54 -05:00
  • 2fa8636a2e make these tests consistent Douglas Creager 2025-12-15 14:04:15 -05:00
  • c8664f68bb add TODO for Never/Unknown Douglas Creager 2025-12-15 13:55:31 -05:00
  • 4ff828d996 these are legit Douglas Creager 2025-12-11 16:55:15 -05:00
  • 517566a8ca use csa for instance checks Douglas Creager 2025-12-10 12:57:27 -05:00
  • 4712503c6d [ty] cargo insta test --force-update-snapshots (#22313) Jack O'Connor 2026-01-05 07:55:47 -08:00
  • 832131f382 wohops dcreager/separate-constraints Douglas Creager 2025-12-30 15:17:31 -05:00
  • 7da9a8ebcf add tracing Douglas Creager 2025-12-30 15:17:27 -05:00
  • 10c910b5ac some vacuous implications Douglas Creager 2025-12-30 14:56:47 -05:00
  • dc3e36fb06 this extra ordering is counterproductive Douglas Creager 2025-12-30 16:02:59 -05:00
  • 42aabc8b99 separate lower and upper bounds Douglas Creager 2025-12-29 17:53:34 -05:00
  • 6b3de1517a [ty] Improve tracebacks when installing dependencies fails in ty_benchmark (#22399) Alex Waygood 2026-01-05 14:55:08 +00:00
  • fd02fb9c76 [ty] Infer subscript types through aliases charlie/sub Charlie Marsh 2026-01-05 09:37:39 -05:00
  • f3dea6e5c9 [ty] Optimize IntersectionType for the common case of a single negated element (#22344) Alex Waygood 2026-01-05 13:41:50 +00:00
  • 24dd149e03 [ty] Extract relation module from types.rs (#22232) Micha Reiser 2026-01-05 14:16:49 +01:00
  • b8d527ff46 [ty] Optimize and simplify UnionElement::try_reduce (#22339) Alex Waygood 2026-01-05 12:54:44 +00:00
  • e63cf978ae [ty] Implement support for explicit markdown code fences in docstring rendering (#22373) Aria Desires 2026-01-05 07:13:24 -05:00
  • 3dab4ff8ad [ty] (docs) - Note insta is required for working with ty tests in ty CONTRIBUTING.md (#22332) Rob Hand 2026-01-05 10:05:13 +00:00
  • 24580e2ee8 flake8-simplify: avoid unnecessary builtins import for SIM105 (#22358) Jason K Hall 2026-01-05 02:58:46 -07:00
  • 3d3af6f7c8 Update pre-commit dependencies (#22393) renovate[bot] 2026-01-05 10:24:40 +01:00
  • 7cc34c081a Update CodSpeedHQ/action action to v4.5.1 (#22389) renovate[bot] 2026-01-05 09:10:06 +01:00
  • 7a95013f56 Update Rust crate serde_json to v1.0.148 (#22387) renovate[bot] 2026-01-05 09:09:23 +01:00
  • 2395954d9a Update Rust crate schemars to v1.2.0 (#22391) renovate[bot] 2026-01-05 09:08:58 +01:00