Commit Graph

  • 8e25f88a84 fallback to `Unknown` with multiple applicable type contexts ibraheem/bidi-subtyping2 Ibraheem Ahmed 2025-12-11 16:06:42 -0500
  • 2b109dfeaa extra comment about not needing to map float/complex Jack O'Connor 2025-12-11 13:03:09 -0800
  • 26891484c7 [ty] support `NewType`s of `float` and `complex` Jack O'Connor 2025-12-09 18:47:58 -0800
  • b80fdfa1a5
    move all body formatting to FormatBody Brent Westbrook 2025-12-11 15:52:43 -0500
  • a48dc8ed64
    inline current FormatBody Brent Westbrook 2025-12-11 15:45:07 -0500
  • 3dfda9f6cc
    unwrap format_body Brent Westbrook 2025-12-11 15:43:00 -0500
  • 78f21945c2 subtyping for bidirectional inference Ibraheem Ahmed 2025-12-02 00:09:39 -0500
  • 00745159d1
    consolidate preview checks Brent Westbrook 2025-12-11 15:32:29 -0500
  • 6f25547098
    delete outdated preview comments Brent Westbrook 2025-12-11 15:24:53 -0500
  • fe25ee2046 format Douglas Creager 2025-12-11 15:22:01 -0500
  • 9800752b55 Changelog tweaks Amethyst Reese 2025-12-11 12:20:10 -0800
  • 438de79a6b abstract over any mention of a typevar Douglas Creager 2025-12-09 08:29:30 -0500
  • 3cb4b0ecb9 group typevars by binding context Douglas Creager 2025-12-08 19:14:57 -0500
  • 7fe09c28c4 don't pivot on never or object Douglas Creager 2025-12-07 14:38:19 -0500
  • db3501bac1 use ConstraintSetAssignability for constraint bounds Douglas Creager 2025-12-04 08:40:28 -0500
  • 312c4ce5c8 don't create T ≤ T constraints Douglas Creager 2025-11-24 19:41:34 -0500
  • 854062f838
    inline format_body Brent Westbrook 2025-12-11 15:16:44 -0500
  • 5d7914ae16
    [ty] avoid fixpoint unioning of types containing current-cycle Divergent Carl Meyer 2025-12-10 16:19:40 -0800
  • d1b79f5400
    share common code Brent Westbrook 2025-12-11 15:13:47 -0500
  • 5fee7534f7
    save f.context.comments() to comments Brent Westbrook 2025-12-11 15:06:44 -0500
  • 5432a8bdf8 [ty] Improve the performance of equivalence checks between two protocols Alex Waygood 2025-12-11 19:56:01 +0000
  • 4b09a0324c
    [ty] Ignore `__all__` for document and workspace symbol requests Andrew Gallant 2025-12-11 14:40:29 -0500
  • 93e71be357 Merge remote-tracking branch 'origin/main' into dcreager/param-variance Douglas Creager 2025-12-11 14:36:35 -0500
  • 5d905fa6c6 clean up class literal matches Douglas Creager 2025-12-11 14:36:18 -0500
  • 47774d47b9 change method name / comment Douglas Creager 2025-12-11 14:28:30 -0500
  • af53aeae14 metadata Amethyst Reese 2025-12-11 11:31:51 -0800
  • 18933063c8 Changelog and docs Amethyst Reese 2025-12-11 11:31:38 -0800
  • 4cd69506df
    Fix test Micha Reiser 2025-12-11 20:13:12 +0100
  • 0f39c460e0 Remove language about RUF104 until that's ready/landed Amethyst Reese 2025-12-11 11:11:11 -0800
  • 3fb2a63b01
    Add test Micha Reiser 2025-12-11 20:05:02 +0100
  • 9289e2e107
    [ty] Fix workspace symbols to return members too Micha Reiser 2025-12-11 19:59:01 +0100
  • 3651068fce Merge branch 'main' into dcreager/breakest-the-cycle Alex Waygood 2025-12-11 18:14:27 +0000
  • 61f11195fb
    Comment Micha Reiser 2025-12-11 18:59:07 +0100
  • fa27231cb1
    Merge 0469eeb357 into 4fdb4e8219 Micha Reiser 2025-12-11 18:55:22 +0100
  • 2bed890272
    [ty] Don't show hover for expressions with no inferred type Micha Reiser 2025-12-11 18:17:13 +0100
  • ec113ef692
    review comments Carl Meyer 2025-12-11 09:24:27 -0800
  • e7ccc073d1
    [ty] avoid unions of class literals / generic aliases in fixpoint Carl Meyer 2025-12-10 15:38:16 -0800
  • 085b55c95d
    [ty] Squash false positive logs for failing to find `builtins` as a real module Andrew Gallant 2025-12-11 11:25:37 -0500
  • 28e9c9aecb only absolute gets extra paths Aria Desires 2025-12-11 11:54:54 -0500
  • cd724e02e1 do it backwards, obviously Aria Desires 2025-12-05 15:15:57 -0500
  • aae857b7da teach desperate resolution to handle pytest dirs and make it try all candidates Aria Desires 2025-12-05 14:03:54 -0500
  • cc992434cf don't add tests folders as roots Aria Desires 2025-12-05 13:41:36 -0500
  • 0f1ea90c5c
    reposition dangling comments Brent Westbrook 2025-12-11 11:43:03 -0500
  • 8711b1a301
    Revert leading comment changes Brent Westbrook 2025-12-11 11:42:49 -0500
  • dbab2c43c4 better predicate for skipping typevars Douglas Creager 2025-12-11 11:21:45 -0500
  • 745f4d95ba add failing test Douglas Creager 2025-12-11 11:30:47 -0500
  • 77d2ce2ad9 Ignore ruff:isort like ruff:noqa in new suppressions Amethyst Reese 2025-12-11 08:24:46 -0800
  • cc850ec348 Add box to stmt charlie/box-stmt Charlie Marsh 2025-12-11 11:24:31 -0500
  • b9691b8a07 add ConstraintSetAssignability relation Douglas Creager 2025-11-26 14:52:41 -0500
  • 0469eeb357
    [ty] Handle overloads in rename micha/rename-overload Micha Reiser 2025-12-11 10:59:59 +0100
  • 2cb98d4cdb
    working for Micha's exact example Brent Westbrook 2025-12-11 10:34:35 -0500
  • 531ca7e47a improve generic call inference performance ibraheem/bidi-subtyping Ibraheem Ahmed 2025-12-11 10:15:03 -0500
  • c4ba7e63a6
    [ty] Handle definitions in `SemanticModel::scope` Micha Reiser 2025-12-11 16:13:41 +0100
  • 459ef7280a
    [ty] Attach salsa db when running ide tests for easier debugging Micha Reiser 2025-12-11 16:03:48 +0100
  • c25fc5923c add Self from implicit type[Self] to gc too Douglas Creager 2025-12-11 09:35:45 -0500
  • bf0bc87f06
    Uniformly use "not supported" in diagnostics Luca Chiodini 2025-12-11 14:47:50 +0100
  • ff7627361d
    [ty] Reduce size of ty-ide snapshots Micha Reiser 2025-12-11 14:23:19 +0100
  • 533d9093b2 Revert "Do not infer types for invalid binary expressions in annotations" David Peter 2025-12-11 12:51:58 +0100
  • 5ecf3c3374
    Rename variable Micha Reiser 2025-12-11 11:40:19 +0100
  • 61ab5650af feat: cargo fmt Denys Zhak 2025-12-11 10:16:59 +0000
  • 703a1e3375
    Update crates/ruff_linter/src/checkers/ast/mod.rs Denys Zhak 2025-12-11 11:45:22 +0200
  • f2e50c4f83 Do not infer types for invalid binary expressions in annotations David Peter 2025-12-11 09:31:19 +0100
  • 2b9199a029 [ty] Improve overload call resolution tracing Dhruv Manilawala 2025-12-11 12:20:09 +0530
  • 7611878bd4 [ty] diagnostic on overridden __setattr__ and __delattr__ in frozen dataclasses https://github.com/astral-sh/ty/issues/111 Justin Chapman 2025-11-13 09:47:03 -0500
  • 1e808b4628
    Merge 1b9434bd09 into 2d0681da08 Shunsuke Shibayama 2025-12-11 11:50:27 +0900
  • 8344cb2972
    [ty] fix missing heap_size on Salsa query Carl Meyer 2025-12-10 17:19:14 -0800
  • 61b48fbcc4 Todos Amethyst Reese 2025-12-10 17:12:04 -0800
  • 45c2ede493 Report invalid suppression diagnostics Amethyst Reese 2025-12-10 17:10:48 -0800
  • 0c00633346 Avoid inferring types for invalid binary expressions in string annotations Charlie Marsh 2025-12-10 19:55:34 -0500
  • 10aeb6d3b6 fix clippy Phong Do 2025-12-11 01:49:48 +0100
  • 99a52eba90 update snapshot tests Phong Do 2025-12-11 01:46:52 +0100
  • caed80df5e avoid dataclass field regression Ibraheem Ahmed 2025-12-10 18:33:00 -0500
  • 5de905120e Report RUF104 unmatched suppression diagnostics Amethyst Reese 2025-12-10 15:17:11 -0800
  • 5d07d58d59 improve performance of `find_type_var_from` Ibraheem Ahmed 2025-12-10 17:53:00 -0500
  • 826e2f331b Merge remote-tracking branch 'origin/main' into dcreager/breakest-the-cycle Douglas Creager 2025-12-10 17:09:23 -0500
  • 6b429409c5 fix docs Douglas Creager 2025-12-10 16:47:52 -0500
  • a4f5b3522d tests Douglas Creager 2025-12-10 16:38:53 -0500
  • aaae48af68 defer but don't defer Douglas Creager 2025-12-10 16:38:38 -0500
  • 9d7d94c4f0
    factor out FormatBody Brent Westbrook 2025-12-10 15:57:53 -0500
  • 69cfe4aed6 obey no_type_check when inferring params/return Douglas Creager 2025-12-10 16:02:03 -0500
  • 553b45e27f
    move dangling comment handling back out of placement.rs Brent Westbrook 2025-12-10 15:47:58 -0500
  • af80f3126e Define rule codes RUF103/104 for invalid/unmatched suppression comments Amethyst Reese 2025-12-10 12:53:40 -0800
  • 3f63ea4b50
    Prepare 0.14.9 release (#21927) 0.14.9 Amethyst Reese 2025-12-11 13:17:52 -0800
  • c8851ecf70
    [ty] Defer all parameter and return type annotations (#21906) Douglas Creager 2025-12-11 15:00:18 -0500
  • d442433e93
    [ty] Fix workspace symbols to return members too (#21926) Micha Reiser 2025-12-11 20:22:21 +0100
  • c055d665ef
    Document range suppressions, reorganize suppression docs (#21884) Amethyst Reese 2025-12-11 11:16:36 -0800
  • 7a578ce833
    Ignore ruff:isort like ruff:noqa in new suppressions (#21922) Amethyst Reese 2025-12-11 11:04:28 -0800
  • 34f7a04ef7
    [ty] Handle `Definition`s in `SemanticModel::scope` (#21919) Micha Reiser 2025-12-11 19:04:57 +0100
  • c9fe4e2703
    [ty] Attach salsa db when running ide tests for easier debugging (#21917) Micha Reiser 2025-12-11 19:03:52 +0100
  • fbeeb050af
    [ty] Don't show hover for expressions with no inferred type (#21924) Micha Reiser 2025-12-11 18:55:32 +0100
  • 4fdb4e8219
    [ty] avoid unions of generic aliases of the same class in fixpoint (#21909) Carl Meyer 2025-12-11 09:53:43 -0800
  • c548ef2027 [ty] Squash false positive logs for failing to find `builtins` as a real module Andrew Gallant 2025-12-11 11:25:37 -0500
  • 5a9d6a91ea
    [ty] Uniformly use "not supported" in diagnostics (#21916) Luca Chiodini 2025-12-11 16:03:55 +0100
  • c9155d5e72
    [ty] Reduce size of ty-ide snapshots (#21915) Micha Reiser 2025-12-11 14:36:16 +0100
  • 8647844572 [ty] Adjust scope completions to use all reachable symbols Andrew Gallant 2025-12-10 11:17:00 -0500
  • 1dcb7f89f1 [ty] Rename `all_members_of_scope` to `all_end_of_scope_members` Andrew Gallant 2025-12-10 11:20:24 -0500
  • c1c45a6a13 [ty] Remove `all_` prefix from some routines on UseDefMap Andrew Gallant 2025-12-09 13:37:48 -0500
  • c51727708a
    Enable `--document-private-items` for `ruff_python_formatter` (#21903) Brent Westbrook 2025-12-11 08:23:10 -0500
  • 27912d46b1
    Remove `BackwardsTokenizer` based `parenthesized_range` references in `ruff_linter` (#21836) Denys Zhak 2025-12-11 13:04:57 +0100
  • 71540c03b6
    [ty] Revert "Do not infer types for invalid binary expressions in annotations" (#21914) David Peter 2025-12-11 12:57:45 +0100