astral-sh · sharkdp · Nov 13, 2025 · Nov 12, 2025 · Nov 13, 2025 · Nov 13, 2025
diff --git a/.github/workflows/ty-ecosystem-analyzer.yaml b/.github/workflows/ty-ecosystem-analyzer.yaml
@@ -67,7 +67,7 @@ jobs:
 
           cd ..
 
-          uv tool install "git+https://github.com/astral-sh/ecosystem-analyzer@908758da02a73ef3f3308e1dbb2248510029bbe4"
+          uv tool install "git+https://github.com/astral-sh/ecosystem-analyzer@11aa5472cf9d6b9e019c401505a093112942d7bf"
 
           ecosystem-analyzer \
             --repository ruff \

diff --git a/.github/workflows/ty-ecosystem-report.yaml b/.github/workflows/ty-ecosystem-report.yaml
@@ -52,7 +52,7 @@ jobs:
 
           cd ..
 
-          uv tool install "git+https://github.com/astral-sh/ecosystem-analyzer@908758da02a73ef3f3308e1dbb2248510029bbe4"
+          uv tool install "git+https://github.com/astral-sh/ecosystem-analyzer@11aa5472cf9d6b9e019c401505a093112942d7bf"
 
           ecosystem-analyzer \
             --verbose \

diff --git a/...s/assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_(d3d47de65fb3bad).snap b/...s/assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_(d3d47de65fb3bad).snap
@@ -19,12 +19,14 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-assignment]: Method `__setitem__` of type `bound method dict[str, int].__setitem__(key: str, value: int, /) -> None` cannot be called with a key of type `Literal[0]` and a value of type `Literal[3]` on object of type `dict[str, int]`
+error[invalid-assignment]: Invalid subscript assignment with key of type `Literal[0]` and value of type `Literal[3]` on object of type `dict[str, int]`
  --> src/mdtest_snippet.py:2:1
   |
 1 | config: dict[str, int] = {}
 2 | config[0] = 3  # error: [invalid-assignment]
-  | ^^^^^^
+  | ^^^^^^^-^^^^^
+  |        |
+  |        Expected key of type `str`, got `Literal[0]`
   |
 info: rule `invalid-assignment` is enabled by default
 

diff --git a/...gnment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_for…_(815dae276e2fd2b7).snap b/...gnment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_for…_(815dae276e2fd2b7).snap
@@ -24,7 +24,7 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-key]: Cannot access `Config` with a key of type `Literal[0]`. Only string literals are allowed as keys on TypedDicts.
+error[invalid-key]: TypedDict `Config` can only be subscripted with a string literal key, got key of type `Literal[0]`.
  --> src/mdtest_snippet.py:7:12
   |
 6 | def _(config: Config) -> None:

diff --git a/...ssignment_diagnosti…_-_Subscript_assignment…_-_Invalid_value_type_(f87bd015df018509).snap b/...ssignment_diagnosti…_-_Subscript_assignment…_-_Invalid_value_type_(f87bd015df018509).snap
@@ -19,12 +19,14 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-assignment]: Method `__setitem__` of type `bound method dict[str, int].__setitem__(key: str, value: int, /) -> None` cannot be called with a key of type `Literal["retries"]` and a value of type `Literal["three"]` on object of type `dict[str, int]`
+error[invalid-assignment]: Invalid subscript assignment with key of type `Literal["retries"]` and value of type `Literal["three"]` on object of type `dict[str, int]`
  --> src/mdtest_snippet.py:2:1
   |
 1 | config: dict[str, int] = {}
 2 | config["retries"] = "three"  # error: [invalid-assignment]
-  | ^^^^^^
+  | ^^^^^^^^^^^^^^^^^^^^-------
+  |                     |
+  |                     Expected value of type `int`, got `Literal["three"]`
   |
 info: rule `invalid-assignment` is enabled by default
 

diff --git a/...gnment_diagnosti…_-_Subscript_assignment…_-_No_`__setitem__`_met…_(468f62a3bdd1d60c).snap b/...gnment_diagnosti…_-_Subscript_assignment…_-_No_`__setitem__`_met…_(468f62a3bdd1d60c).snap
@@ -23,13 +23,14 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-assignment]: Cannot assign to a subscript on an object of type `ReadOnlyDict` with no `__setitem__` method
+error[invalid-assignment]: Cannot assign to a subscript on an object of type `ReadOnlyDict`
  --> src/mdtest_snippet.py:6:1
   |
 5 | config = ReadOnlyDict()
 6 | config["retries"] = 3  # error: [invalid-assignment]
-  | ^^^^^^
+  | ^^^^^^^^^^^^^^^^^
   |
+help: Consider adding a `__setitem__` method to `ReadOnlyDict`.
 info: rule `invalid-assignment` is enabled by default
 
 ```
diff --git a/...gnment_diagnosti…_-_Subscript_assignment…_-_Possibly_missing_`__…_(efd3f0c02e9b89e9).snap b/...gnment_diagnosti…_-_Subscript_assignment…_-_Possibly_missing_`__…_(efd3f0c02e9b89e9).snap
@@ -19,14 +19,15 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-assignment]: Cannot assign to a subscript on an object of type `None` with no `__setitem__` method
+error[invalid-assignment]: Cannot assign to a subscript on an object of type `None`
  --> src/mdtest_snippet.py:2:5
   |
 1 | def _(config: dict[str, int] | None) -> None:
 2 |     config["retries"] = 3  # error: [invalid-assignment]
-  |     ^^^^^^
+  |     ^^^^^^^^^^^^^^^^^
   |
 info: The full type of the subscripted object is `dict[str, int] | None`
+info: `None` does not have a `__setitem__` method.
 info: rule `invalid-assignment` is enabled by default
 
 ```
diff --git a/...gnment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(57372b65e30392a8).snap b/...gnment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(57372b65e30392a8).snap
@@ -19,12 +19,14 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-assignment]: Method `__setitem__` of type `bound method dict[str, str].__setitem__(key: str, value: str, /) -> None` cannot be called with a key of type `Literal["retries"]` and a value of type `Literal[3]` on object of type `dict[str, str]`
+error[invalid-assignment]: Invalid subscript assignment with key of type `Literal["retries"]` and value of type `Literal[3]` on object of type `dict[str, str]`
  --> src/mdtest_snippet.py:2:5
   |
 1 | def _(config: dict[str, int] | dict[str, str]) -> None:
 2 |     config["retries"] = 3  # error: [invalid-assignment]
-  |     ^^^^^^
+  |     ^^^^^^^^^^^^^^^^^^^^-
+  |                         |
+  |                         Expected value of type `str`, got `Literal[3]`
   |
 info: The full type of the subscripted object is `dict[str, int] | dict[str, str]`
 info: rule `invalid-assignment` is enabled by default

diff --git a/...gnment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(ffe39a3bae68cfe4).snap b/...gnment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(ffe39a3bae68cfe4).snap
@@ -21,27 +21,31 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/subscript/assignment_dia
 # Diagnostics
 
 ```
-error[invalid-assignment]: Method `__setitem__` of type `bound method dict[str, int].__setitem__(key: str, value: int, /) -> None` cannot be called with a key of type `Literal["retries"]` and a value of type `float` on object of type `dict[str, int]`
+error[invalid-assignment]: Invalid subscript assignment with key of type `Literal["retries"]` and value of type `float` on object of type `dict[str, int]`
  --> src/mdtest_snippet.py:4:5
   |
 2 |     # error: [invalid-assignment]
 3 |     # error: [invalid-assignment]
 4 |     config["retries"] = 3.0
-  |     ^^^^^^
+  |     ^^^^^^^^^^^^^^^^^^^^---
+  |                         |
+  |                         Expected value of type `int`, got `float`
   |
 info: The full type of the subscripted object is `dict[str, int] | dict[str, str]`
 info: rule `invalid-assignment` is enabled by default
 
 ```
 
 ```
-error[invalid-assignment]: Method `__setitem__` of type `bound method dict[str, str].__setitem__(key: str, value: str, /) -> None` cannot be called with a key of type `Literal["retries"]` and a value of type `float` on object of type `dict[str, str]`
+error[invalid-assignment]: Invalid subscript assignment with key of type `Literal["retries"]` and value of type `float` on object of type `dict[str, str]`
  --> src/mdtest_snippet.py:4:5
   |
 2 |     # error: [invalid-assignment]
 3 |     # error: [invalid-assignment]
 4 |     config["retries"] = 3.0
-  |     ^^^^^^
+  |     ^^^^^^^^^^^^^^^^^^^^---
+  |                         |
+  |                         Expected value of type `str`, got `float`
   |
 info: The full type of the subscripted object is `dict[str, int] | dict[str, str]`
 info: rule `invalid-assignment` is enabled by default

@@ -89,7 +89,7 @@ info: rule `invalid-key` is enabled by default
 ```
 
 ```
-error[invalid-key]: Invalid key of type `str` for TypedDict `Person`
+error[invalid-key]: TypedDict `Person` can only be subscripted with string literal keys, got key of type `str`
   --> src/mdtest_snippet.py:16:12
    |
 15 | def access_with_str_key(person: Person, str_key: str):
@@ -146,7 +146,7 @@ info: rule `invalid-key` is enabled by default
 ```
 
 ```
-error[invalid-key]: Cannot access `Person` with a key of type `str`. Only string literals are allowed as keys on TypedDicts.
+error[invalid-key]: TypedDict `Person` can only be subscripted with a string literal key, got key of type `str`.
   --> src/mdtest_snippet.py:25:12
    |
 24 | def write_to_non_literal_string_key(person: Person, str_key: str):

@@ -76,7 +76,7 @@ a[0] = 0
 class NoSetitem: ...
 
 a = NoSetitem()
-a[0] = 0  # error: "Cannot assign to a subscript on an object of type `NoSetitem` with no `__setitem__` method"
+a[0] = 0  # error: "Cannot assign to a subscript on an object of type `NoSetitem`"
 ```
 
 ## `__setitem__` not callable

@@ -69,7 +69,7 @@ def name_or_age() -> Literal["name", "age"]:
 carol: Person = {NAME: "Carol", AGE: 20}
 
 reveal_type(carol[NAME])  # revealed: str
-# error: [invalid-key] "Invalid key of type `str` for TypedDict `Person`"
+# error: [invalid-key] "TypedDict `Person` can only be subscripted with string literal keys, got key of type `str`"
 reveal_type(carol[non_literal()])  # revealed: Unknown
 reveal_type(carol[name_or_age()])  # revealed: str | int | None
 
@@ -553,7 +553,7 @@ def _(
     # error: [invalid-key] "Invalid key for TypedDict `Person`: Unknown key "non_existing""
     reveal_type(person["non_existing"])  # revealed: Unknown
 
-    # error: [invalid-key] "Invalid key of type `str` for TypedDict `Person`"
+    # error: [invalid-key] "TypedDict `Person` can only be subscripted with string literal keys, got key of type `str`"
     reveal_type(person[str_key])  # revealed: Unknown
 
     # No error here:
@@ -631,10 +631,10 @@ def _(person: Person, union_of_keys: Literal["name", "age"], unknown_value: Any)
     person[union_of_keys] = None
 
 def _(person: Person, str_key: str, literalstr_key: LiteralString):
-    # error: [invalid-key] "Cannot access `Person` with a key of type `str`. Only string literals are allowed as keys on TypedDicts."
+    # error: [invalid-key] "TypedDict `Person` can only be subscripted with a string literal key, got key of type `str`."
     person[str_key] = None
 
-    # error: [invalid-key] "Cannot access `Person` with a key of type `LiteralString`. Only string literals are allowed as keys on TypedDicts."
+    # error: [invalid-key] "TypedDict `Person` can only be subscripted with a string literal key, got key of type `LiteralString`."
     person[literalstr_key] = None
 
 def _(person: Person, unknown_key: Any):

@@ -3107,9 +3107,10 @@ pub(crate) fn report_invalid_key_on_typed_dict<'db>(
             }
             _ => {
                 let mut diagnostic = builder.into_diagnostic(format_args!(
-                    "Invalid key of type `{}` for TypedDict `{}`",
-                    key_ty.display(db),
+                    "TypedDict `{}` can only be subscripted with string literal keys, \
+                     got key of type `{}`",
                     typed_dict_ty.display(db),
+                    key_ty.display(db),
                 ));
 
                 if let Some(full_object_ty) = full_object_ty {