Commit Graph

  • caed80df5e avoid dataclass field regression Ibraheem Ahmed 2025-12-10 18:33:00 -05:00
  • 5d07d58d59 improve performance of find_type_var_from Ibraheem Ahmed 2025-12-10 17:53:00 -05:00
  • 29bf2cd201 [ty] Support implicit type of cls in signatures (#21771) Ibraheem Ahmed 2025-12-10 16:56:20 -05:00
  • 1b44d7e2a7 [ty] add SyntheticTypedDictType and implement normalized and is_equivalent_to (#21784) Jack O'Connor 2025-12-10 12:36:36 -08:00
  • a2fb2ee06c [ty] Fix disjointness checks with type-of @final classes (#21770) Ibraheem Ahmed 2025-12-10 15:15:10 -05:00
  • 3e00221a6c [ty] Fix negation upper bounds in constraint sets (#21897) Douglas Creager 2025-12-10 15:07:50 -05:00
  • 5dc0079e78 [ty] Fix disjointness checks on @final class instances (#21769) Ibraheem Ahmed 2025-12-10 14:17:22 -05:00
  • f7528bd325 [ty] Checking files without extension (#21867) Micha Reiser 2025-12-10 17:47:41 +01:00
  • 59b92b3522 Document *.pyw is included by default in preview (#21885) Avasam 2025-12-10 11:43:55 -05:00
  • 9ceec359a0 [ty] Add mypy primer check comparing same revisions (#21864) Micha Reiser 2025-12-10 17:37:17 +01:00
  • 224d6df8d0 Update crates/ruff_python_parser/src/lexer.rs micha/relex-interpolated-state Micha Reiser 2025-12-10 17:26:32 +01:00
  • 2dd412c89a Update README to remove production warning (#21899) Micha Reiser 2025-12-10 17:25:41 +01:00
  • 951766d1fb [ty] default-specialize class-literal types in assignment to generic-alias types (#21883) Carl Meyer 2025-12-10 08:18:08 -08:00
  • c4e32ea180 Sync interpolated lexer state within re_lex_logical_token Micha Reiser 2025-12-10 17:16:28 +01:00
  • 7d47f711c1 Skip over trivia tokens after re-lexing Micha Reiser 2025-12-10 15:05:53 +01:00
  • 7bf50e70a7 [ty] Generics: Respect typevar bounds when matching against a union (#21893) David Peter 2025-12-10 14:58:57 +01:00
  • ff7086d9ad [ty] Infer type of implicit cls parameter in method bodies (#21685) Ibraheem Ahmed 2025-12-10 04:31:28 -05:00
  • d2aabeaaa2 [ty] Respect kw_only from parent class (#21820) Charlie Marsh 2025-12-10 04:12:18 -05:00
  • 8293afe2ae Remove hack about unknown options warning (#21887) Dhruv Manilawala 2025-12-10 12:39:31 +05:30
  • aaadf16b1b [ty] bump dependencies to pull in Salsa support for ordermap (#21854) Jack O'Connor 2025-12-09 19:08:03 -08:00
  • b1ede8885b add more comments Douglas Creager 2025-12-09 20:33:07 -05:00
  • 4f7ad7bbc9 Merge remote-tracking branch 'origin/main' into dcreager/callable-return Douglas Creager 2025-12-09 19:50:47 -05:00
  • c343e94ac5 [ty] Simplify union lower bounds and intersection upper bounds in constraint sets (#21871) Douglas Creager 2025-12-09 19:49:17 -05:00
  • 270b8d1d14 [ty] Collapse never paths in constraint set BDDs (#21880) Douglas Creager 2025-12-09 18:22:54 -05:00
  • f3714fd3c1 Fix leading comment formatting for lambdas with multiple parameters (#21879) Brent Westbrook 2025-12-09 18:15:12 -05:00
  • a9be810c38 [ty] Type inference for @asynccontextmanager (#21876) David Peter 2025-12-09 22:49:00 +01:00
  • 0bec5c0362 Fix comment placement in lambda parameters (#21868) Brent Westbrook 2025-12-09 14:07:48 -05:00
  • 9490fbf1e1 [pylint] Detect subclasses of builtin exceptions (PLW0133) (#21382) Loïc Riegel 2025-12-09 19:49:55 +01:00
  • 8727a7b179 Fix stack overflow with recursive generic protocols (depth limit) (#21858) Carl Meyer 2025-12-09 09:05:18 -08:00
  • 4e4d018344 New diagnostics for unused range suppressions (#21783) Amethyst Reese 2025-12-09 08:30:27 -08:00
  • 9a3786179d skip current type when specializing Douglas Creager 2025-12-09 10:49:05 -05:00
  • a9899af98a [ty] Use default settings in completion tests Andrew Gallant 2025-12-09 10:00:03 -05:00
  • aea2bc2308 [ty] Infer type variables within generic unions (#21862) David Peter 2025-12-09 16:22:59 +01:00
  • c35bf8f441 [ty] Fix overload filtering to prefer more "precise" match (#21859) Dhruv Manilawala 2025-12-09 20:29:34 +05:30
  • 426125f5c0 [ty] Stabilize auto-import Andrew Gallant 2025-12-08 12:30:32 -05:00
  • f82b3f1eff abstract over any mention of a typevar Douglas Creager 2025-12-09 08:29:30 -05:00
  • a0b18bc153 [ty] Fix reveal-type E2E test (#21865) Micha Reiser 2025-12-09 14:08:22 +01:00
  • 11901384b4 [ty] Use concise message for LSP clients not supporting related diagnostic information (#21850) Micha Reiser 2025-12-09 13:18:30 +01:00
  • dc2f0a86fd Include more details in Tokens 'offset is inside token' panic message (#21860) Micha Reiser 2025-12-09 11:12:35 +01:00
  • 352628e986 [ty] Temporary SQLAlchemy special-case david/sqlalchemy-specialcase David Peter 2025-12-09 10:34:09 +01:00
  • c88e1e40ab Fix stack overflow with recursive generic protocols cjm/protoso1 Carl Meyer 2025-12-08 18:25:11 -08:00
  • f23ae75b5d group typevars by binding context Douglas Creager 2025-12-08 19:14:57 -05:00
  • 4e67a219bb apply range suppressions to filter diagnostics (#21623) Amethyst Reese 2025-12-08 16:11:59 -08:00
  • 8ea18966cf [ty] followup: add-import action for reveal_type too (#21668) Aria Desires 2025-12-08 17:44:17 -05:00
  • a9526fe0a5 serde_json is no longer optional gankra/script Aria Desires 2025-12-08 15:17:28 -05:00
  • e733a87bd7 Teach ty check to ask uv to sync the venv of a PEP-723 script Aria Desires 2025-12-08 15:00:37 -05:00
  • e548ce1ca9 [ty] Enrich function argument auto-complete suggestions with annotated types Rasmus Nygren 2025-12-05 19:37:36 +01:00
  • eac8a90cc4 [ty] Add autocomplete suggestions for function arguments Rasmus Nygren 2025-12-03 21:58:01 +01:00
  • 2d3466eccf [flake8-bugbear] Accept immutable slice default arguments (B008) (#21823) Loïc Riegel 2025-12-08 20:00:43 +01:00
  • 45fb3732a4 [pydocstyle] Suppress D417 for parameters with Unpack annotations (#21816) Phong Do 2025-12-08 20:00:05 +01:00
  • d4358cda65 [ty] Fix rename/references to find all overloaded function definitions claude/fix-overload-renaming-011PZ55MZeyCHMtbeox9aNyg Claude 2025-12-08 17:20:44 +00:00
  • 0ab8521171 [ty] Remove legacy concise_message fallback behavior (#21847) Micha Reiser 2025-12-08 17:19:01 +01:00
  • 0ccd84136a [ty] Make Python-version subdiagnostics less verbose (#21849) Alex Waygood 2025-12-08 15:58:23 +00:00
  • 3981a23ee9 [ty] Supress inlay hints when assigning a trivial initializer call (#21848) Aria Desires 2025-12-08 10:54:30 -05:00
  • 385dd2770b [ty] Avoid double-inference on non-tuple argument to Annotated (#21837) Charlie Marsh 2025-12-08 10:24:05 -05:00
  • 7519f6c27b Print Python version and Python platform in the fuzzer output when fuzzing fails (#21844) Alex Waygood 2025-12-08 14:35:36 +00:00
  • ad4945aed0 SQLAlchemy investigation david/sqlalchemy-investigation David Peter 2025-12-05 16:08:06 +01:00
  • 4686111681 [ty] More SQLAlchemy test updates (#21846) David Peter 2025-12-08 15:22:55 +01:00
  • 4364ffbdd3 [ty] Don't create a related diagnostic for the primary annotation of sub-diagnostics (#21845) Micha Reiser 2025-12-08 15:22:11 +01:00
  • b845e81c4a Use memchr for computing line indexes (#21838) Charlie Marsh 2025-12-08 08:50:51 -05:00
  • c99e10eedc [ty] Increase SQLAlchemy test coverage (#21843) David Peter 2025-12-08 14:36:13 +01:00
  • a364195335 [ty] Avoid diagnostic when typing_extensions.ParamSpec uses default parameter (#21839) Dhruv Manilawala 2025-12-08 18:04:30 +05:30
  • 07efdf8887 [ty] Test for @asynccontextmanager david/asynccontextmanager-test David Peter 2025-12-08 12:59:28 +01:00
  • dfd6ed0524 [ty] mdtests with external dependencies (#20904) David Peter 2025-12-08 11:44:20 +01:00
  • ac882f7e63 [ty] Handle various invalid explicit specializations for ParamSpec (#21821) Dhruv Manilawala 2025-12-08 10:50:41 +05:30
  • f29200c789 Merge remote-tracking branch 'origin/main' into dcreager/callable-return Douglas Creager 2025-12-07 14:57:55 -05:00
  • 72e0c32a99 clippy Douglas Creager 2025-12-07 14:51:21 -05:00
  • 81fc51e197 update test TODOs Douglas Creager 2025-12-07 14:46:52 -05:00
  • b3e4855230 any here Douglas Creager 2025-12-07 14:44:52 -05:00
  • c56d5cc24b not failing anymore Douglas Creager 2025-12-07 14:39:18 -05:00
  • 22c7fc4516 don't pivot on never or object Douglas Creager 2025-12-07 14:38:19 -05:00
  • ecb9c1301b gotta get those return types too Douglas Creager 2025-12-07 14:25:09 -05:00
  • 857fd4f683 [ty] Add test case for fixed panic (#21832) Alex Waygood 2025-12-07 15:58:11 +00:00
  • 285d6410d3 [ty] Avoid double-analyzing tuple in Final subscript (#21828) Charlie Marsh 2025-12-07 09:27:14 -05:00
  • cbff09b9af [flake8-bandit] Fix false positive when using non-standard CSafeLoader path (S506). (#21830) Prakhar Pratyush 2025-12-07 16:10:46 +05:30
  • 6e0e49eda8 Add minimal-size build profile (#21826) Louis Maddox 2025-12-06 18:19:04 +00:00
  • c60560f39d do this at the overloads level Douglas Creager 2025-12-05 18:41:37 -05:00
  • 61381522e4 Revert "skip non-inferable" Douglas Creager 2025-12-05 18:03:04 -05:00
  • d47e9a60df callable invariance rears its head again Douglas Creager 2025-12-05 16:40:59 -05:00
  • a372e63b2c different TODO explanation for overload example Douglas Creager 2025-12-05 16:33:29 -05:00
  • b84a35f22f oh hey that's a real bug Douglas Creager 2025-12-05 16:03:28 -05:00
  • 657685f731 don't throw away return type Douglas Creager 2025-12-05 15:57:20 -05:00
  • 056258c767 cs assignability for paramspecs Douglas Creager 2025-12-05 15:37:44 -05:00
  • db488e3cf7 Merge remote-tracking branch 'origin/main' into dcreager/callable-return Douglas Creager 2025-12-05 15:39:40 -05:00
  • ef45c97dab [ty] Allow tuple[Any, ...] to assign to tuple[int, *tuple[int, ...]] (#21803) Charlie Marsh 2025-12-05 11:04:23 -08:00
  • 9714c589e1 [ty] Support renaming import aliases (#21792) Micha Reiser 2025-12-05 19:12:13 +01:00
  • b2fb421ddd [ty] Add redeclaration LSP tests (#21812) Micha Reiser 2025-12-05 19:02:34 +01:00
  • 2f05ffa2c8 [ty] more detailed description of "Size limit on unions of literals" in mdtest (#21804) Shunsuke Shibayama 2025-12-06 02:34:39 +09:00
  • b623189560 [ty] Complete support for ParamSpec (#21445) Dhruv Manilawala 2025-12-05 22:00:06 +05:30
  • f29436ca9e [ty] Update benchmark dependencies (#21815) Micha Reiser 2025-12-05 17:23:18 +01:00
  • c74eb12db4 pull this out into a helper method Douglas Creager 2025-12-05 10:00:47 -05:00
  • c0dc6cfa61 Merge remote-tracking branch 'origin/main' into dcreager/callable-return Douglas Creager 2025-12-05 09:00:54 -05:00
  • e42cdf8495 [ty] Carry generic context through when converting class into Callable (#21798) Douglas Creager 2025-12-05 08:57:21 -05:00
  • 71a7a03ad4 [ty] Add more tests for renamings (#21810) Alex Waygood 2025-12-05 12:41:31 +00:00
  • 48f7f42784 [ty] Minor improvements to assert_type diagnostics (#21811) Alex Waygood 2025-12-05 12:33:30 +00:00
  • 3deb7e1b90 [ty] Add some attribute/method renaming test cases (#21809) Micha Reiser 2025-12-05 11:56:28 +01:00
  • 5df8a959f5 Update mkdocs-material to 9.7.0 (Insiders now free) (#21797) mahiro 2025-12-05 16:53:08 +09:00
  • c3d225fe61 [ty] Embeddable ty playground david/embeddable-ty-playground David Peter 2025-12-04 14:19:16 +01:00
  • 6f03afe318 Remove unused whitespaces in test cases (#21806) Dhruv Manilawala 2025-12-05 12:51:40 +05:30
  • 1951f1bbb8 [ty] fix panic when instantiating a type variable with invalid constraints (#21663) Shunsuke Shibayama 2025-12-05 11:48:38 +09:00