Commit Graph

  • 87eec9bb51 [ty] Show dynamic NamedTuple defaults in signature (#22574) main Charlie Marsh 2026-01-14 13:28:23 -05:00
  • 40d7fc05d1 Initial plan copilot/sub-pr-22576 copilot-swe-agent[bot] 2026-01-14 18:23:40 +00:00
  • eaed0d9b5c [ty] Fix flaky completions (#22576) Micha Reiser 2026-01-14 19:23:38 +01:00
  • eb96456e1e [ty] Synthesize an empty __slots__ for named tuples (#22573) Charlie Marsh 2026-01-14 13:22:27 -05:00
  • 1bfdfafecf [ty] Emit diagnostics for invalid dynamic namedtuple fields charlie/func-diag Charlie Marsh 2026-01-14 11:03:58 -05:00
  • c3909525c6 [ty] Show dynamic NamedTuple defaults in signature Charlie Marsh 2026-01-14 10:49:27 -05:00
  • 0787d8f543 [ty] Use let-chains more alex/let-chains Alex Waygood 2026-01-09 18:54:16 +00:00
  • b0e20ce8da prune impossible paths during BDD construction dcreager/support Douglas Creager 2026-01-09 10:46:38 -05:00
  • cd7fae4968 pass support by reference Douglas Creager 2026-01-09 10:05:33 -05:00
  • 7e5f1257d7 walk_edge can call this Douglas Creager 2026-01-09 10:03:07 -05:00
  • 8c8173c626 remove source_order! Douglas Creager 2026-01-08 21:43:05 -05:00
  • ecbd3d7539 consolidate for_each_path and find_rep_types Douglas Creager 2026-01-08 17:43:06 -05:00
  • ede31a9dc3 include missing constraints from support in find_rep_types Douglas Creager 2026-01-08 17:43:06 -05:00
  • 69ae228db7 include support in valid_specs Douglas Creager 2026-01-08 17:00:07 -05:00
  • d8a8d343c9 use support to seed SequentMap Douglas Creager 2026-01-08 16:29:08 -05:00
  • 83e749bfe2 add Support type and go back to fully reduced Douglas Creager 2026-01-08 16:04:53 -05:00
  • 02fed53477 even lazier dcreager/lazy-sequent-map Douglas Creager 2026-01-07 10:57:15 -05:00
  • d3853442da build sequent map lazily Douglas Creager 2026-01-06 14:54:10 -05:00
  • b6e790a84b move sequent map into PathAssignments Douglas Creager 2026-01-06 14:48:24 -05:00
  • a960a4a5df pass around sequent maps mutably Douglas Creager 2026-01-06 14:30:37 -05:00
  • 4d24fa8169 [ty] Fix flaky completions Micha Reiser 2026-01-14 18:49:53 +01:00
  • 3e0299488e [ty] Add support for functional namedtuple creation (#22327) Charlie Marsh 2026-01-14 12:41:04 -05:00
  • 4d0b56393f wip alex/filter-builtins Alex Waygood 2025-11-06 10:30:26 -05:00
  • 50fbd93af9 [ty] Filter TypeVar/ParamSpec/TypeVarTuple definitions out of the builtins fallback Alex Waygood 2025-11-05 15:15:52 -05:00
  • 7f0ce3e88d [ty] Infer type[Unknown] for calls to type() when overload evaluation is ambiguous (#22569) Alex Waygood 2026-01-14 14:23:07 +00:00
  • ba0736385d [ty] Add a diagnostic for non-decorator uses of final (#22555) Charlie Marsh 2026-01-14 09:14:59 -05:00
  • e41f045ec5 [ty] Emit diagnostics for invalid base classes in type(...) (#22499) Charlie Marsh 2026-01-14 08:56:04 -05:00
  • b24afb643c [ty] Support 'dangling' type(...) constructors (#22537) Charlie Marsh 2026-01-14 08:48:53 -05:00
  • 853bb00626 [ty] Improve rendering of ReST directives in docstrings (#22512) Aryan Bagade 2026-01-14 04:33:07 -08:00
  • 68bdf9fa88 [ty] Make special cases for subscript inference exhaustive alex/subscript-alias Alex Waygood 2025-12-17 19:04:45 +00:00
  • c5aa525d2a Reformat files micha/mdtest-no-pyi-mode Micha Reiser 2026-01-14 10:48:16 +01:00
  • 1566137d27 Disable pyi mode for mdtests Micha Reiser 2026-01-14 10:47:57 +01:00
  • 8effe4e84c got a salsa cycle jack/claude_cyclic_control_flow Jack O'Connor 2026-01-13 23:39:41 -08:00
  • 70859e4ba7 Add fast path for object vs unbounded inferable TypeVar charlie/neg Charlie Marsh 2026-01-13 20:57:49 -05:00
  • c781969973 propagate type context through comprehensions ibraheem/comprehension-tcx Ibraheem Ahmed 2026-01-13 20:44:03 -05:00
  • 0eb28df0b0 Add more fast-paths Charlie Marsh 2026-01-13 20:36:53 -05:00
  • b5814b91c1 [ty] Add diagnostics to validate TypeIs and TypeGuard definitions (#22300) Charlie Marsh 2026-01-13 20:24:05 -05:00
  • 3dba88b2fe Add more fast-paths Charlie Marsh 2026-01-13 20:19:29 -05:00
  • 6de4b1daf7 Add neg Charlie Marsh 2025-12-19 10:11:09 -05:00
  • ea46426157 [ty] Apply narrowing to walrus targets (#22369) Charlie Marsh 2026-01-13 19:56:47 -05:00
  • 4bcf624e9e getting the first new loop test working Jack O'Connor 2026-01-13 16:54:01 -08:00
  • 47f29b9250 Add root cause analysis for issue #2438 claude/analyze-issue-2438-d1mN1 Claude 2026-01-14 00:31:58 +00:00
  • f13926ea01 Claude getting started, no inference yet Jack O'Connor 2026-01-13 15:48:04 -08:00
  • ddd2fc7a90 [ty] Use "typeguard constraints" for two kinds of tuple narrowing (#22348) Alex Waygood 2026-01-13 23:37:09 +00:00
  • 4ebf10cf1b [ty] Add a conformance script to compare ty diagnostics with expected errors (#22231) Will Duke 2026-01-13 22:19:41 +00:00
  • 5b1d172906 Use tokens split_at in range suppression loading amy/suppression-perf-2 Amethyst Reese 2026-01-13 11:17:40 -08:00
  • 6c01f1a1e8 Clear indents in outer loop Amethyst Reese 2026-01-13 14:02:10 -08:00
  • 9a676bbeb7 [ty] Add diagnostic to catch generic enums (#22482) Charlie Marsh 2026-01-13 16:55:46 -05:00
  • d9028a098b [isort] Insert imports in alphabetical order (I002) (#22493) Bhuminjay Soni 2026-01-14 02:51:18 +05:30
  • 56077ee9a9 [ty] Fix @Todo type for starred expressions (#22503) Alex Waygood 2026-01-13 21:09:29 +00:00
  • 20c01d2553 [ty] Use the top materialization of classes for if type(x) is y narrowing (#22553) Alex Waygood 2026-01-13 20:53:52 +00:00
  • c98ea1bc24 [flake8-pytest-style] Add check parameter example to PT017 docs (#22546) Harutaka Kawamura 2026-01-14 05:45:53 +09:00
  • 9a2990b2a1 [ruff] Make example error out-of-the-box (RUF103) (#22558) GiGaGon 2026-01-13 12:06:54 -08:00
  • ec43815bbd Add root cause analysis for ty issue #2479 claude/analyze-issue-2479-GTe1A Claude 2026-01-13 19:37:40 +00:00
  • 6b79f415f9 Jack's basic loop tests Jack O'Connor 2026-01-13 11:22:17 -08:00
  • a697050a83 [ty] Fix stack overflow with recursive type aliases containing tuple … (#22543) Carl Meyer 2026-01-13 11:25:01 -08:00
  • a457967e8f Add split_at method to Tokens Amethyst Reese 2026-01-13 11:16:38 -08:00
  • c62b57d952 remove old code Amethyst Reese 2026-01-07 17:14:49 -08:00
  • 202987f488 clippy Amethyst Reese 2026-01-07 14:45:51 -08:00
  • 17b5e4292b Skip walking all tokens when loading range suppressions Amethyst Reese 2026-01-07 14:38:02 -08:00
  • 2f64ef9c72 [ty] Include type parameters in generic callable display (#22435) Dex Devlon 2026-01-13 22:59:08 +05:30
  • 1d2d277ba3 [ty] Assume 3-argument form for variadics in type(...) charlie/dyn-overload Charlie Marsh 2026-01-11 09:49:47 -05:00
  • e7f60c28a3 Use a relative NodeIndex Charlie Marsh 2026-01-13 08:36:02 -05:00
  • fde7d72fbb [ty] Add diagnostics for __init_subclass__ argument mismatch (#22185) RasmusNygren 2026-01-13 17:15:51 +01:00
  • 6e9baff4d9 [ty] Support 'dangling' type(...) constructors Charlie Marsh 2026-01-12 13:11:21 -05:00
  • d13b5db066 [ty] narrow the right-hand side of ==, !=, is and is not conditions when the left-hand side is not narrowable (#22511) drbh 2026-01-13 11:01:54 -05:00
  • c7b41060f4 [ty] Improve disambiguation of types (#22547) Alex Waygood 2026-01-13 14:56:56 +00:00
  • 3878701265 [ty] Support own instance members for type(...) classes (#22480) Charlie Marsh 2026-01-13 09:36:03 -05:00
  • 6e89e0abff [ty] Fix classmethod + contextmanager + Self (#22407) Enric Calabuig 2026-01-13 15:29:58 +01:00
  • cb31883c5f Correct comment about public functions starting with an underscore. (#22550) Manuel Jacob 2026-01-13 15:04:19 +01:00
  • 6d8f2864c3 [ty] Rename MRO structs to match static nomenclature (#22549) Charlie Marsh 2026-01-13 08:53:49 -05:00
  • 308373124d [ty] Make TrackedConstraintSet interned micha/make-tracked-constraint-set-interned Micha Reiser 2026-01-13 12:51:38 +01:00
  • ec2861bc4f [ty] Pass the generic context through the decorator dhruv/paramspec-decorator Dhruv Manilawala 2026-01-13 16:06:43 +05:30
  • 990d0a8999 [ty] Improve log guidance message for Zed (#22530) Dhruv Manilawala 2026-01-13 13:43:11 +05:30
  • a38a18e2d3 WIP: Jack + Codex mucking around with loop control flow jack/loop-control-flow-codex Jack O'Connor 2026-01-09 17:51:35 -08:00
  • 110ae7c7c2 prek claude/fix-issue-1858-UjARA Carl Meyer 2026-01-12 18:52:31 -08:00
  • 7926fb1dc1 Fix dataclass transform function handling after merge Carl Meyer 2026-01-12 18:25:48 -08:00
  • f0fa410a02 Minimal prototype using regex amy/ruffen-docs Amethyst Reese 2026-01-12 18:20:12 -08:00
  • 99beabdde8 [ty] Fix false positive for bounded type parameters with NewType (#22542) Carl Meyer 2026-01-12 17:23:31 -08:00
  • 7a10c640c4 cargo fmt Carl Meyer 2026-01-12 17:21:10 -08:00
  • 48c3b5efe6 Remove unused ClassLiteral import Claude 2026-01-12 23:47:58 +00:00
  • c440f4bc90 Refactor dataclass params to use with_dataclass_params helper Claude 2026-01-12 23:30:44 +00:00
  • 55a335165a add implicitly concatenated annotation tests brent/up045 Brent Westbrook 2026-01-12 17:54:41 -05:00
  • f4da2502e5 Merge main into claude/fix-issue-1858-UjARA Claude 2026-01-12 22:51:42 +00:00
  • e4602d7d0d Merge branch 'main' into brent/up045 Brent Westbrook 2026-01-12 17:35:04 -05:00
  • fa9474f3a8 Layer UnionDiagnostic and IntersectionDiagnostic for nested types Claude 2026-01-12 22:24:34 +00:00
  • 27ac08ce5e use type context from augmented assignment dunder calls ibraheem/augmented-assignment-tcx Ibraheem Ahmed 2026-01-12 16:22:08 -05:00
  • fee0888f76 Move retain logic into retain_successful() method Claude 2026-01-12 22:12:57 +00:00
  • ac66d4c74c Improve iter()/iter_mut() documentation and add BindingsElement::is_callable() Claude 2026-01-12 22:02:30 +00:00
  • f0c0c7770c Fix misleading comment about Bindings structure Claude 2026-01-12 21:55:13 +00:00
  • 849e267268 Fix: unify as_result() logic for intersection and single-binding cases Claude 2026-01-12 21:47:58 +00:00
  • 3ae4db3ccd [ty] Support assignment to unions of TypedDicts (#22294) Ibraheem Ahmed 2026-01-12 16:10:58 -05:00
  • c04fc6b965 Fix: merge argument forms instead of overwriting Claude 2026-01-12 21:06:24 +00:00
  • 8ac5f9d8bc [ty] Use key and value parameter types as type context for __setitem__ dunder calls (#22148) Ibraheem Ahmed 2026-01-12 16:05:05 -05:00
  • 597c35458e Use a tracked struct charlie/dyn-tracked Charlie Marsh 2026-01-12 13:40:52 -05:00
  • b88db87755 Revert "[ty] Support 'dangling' type(...) constructors" Charlie Marsh 2026-01-12 14:20:08 -05:00
  • 3932ef7c46 [ty] Support 'dangling' type(...) constructors Charlie Marsh 2026-01-12 13:11:21 -05:00
  • 4abc5fe2f1 [ty] Add support for dynamic type() classes (#22291) Charlie Marsh 2026-01-12 15:20:42 -05:00
  • 78ef241200 Update actions/checkout digest to 0c366fd (#22513) renovate[bot] 2026-01-12 18:36:50 +01:00
  • e4ba29392b [ty] Fix __file__ type in completions to show str instead of str | None (#22510) Charlie Marsh 2026-01-12 09:20:32 -05:00