tentative migrate pyright to ty

.pre-commit-config.yaml

@@ -54,20 +54,21 @@ repos:
     require_serial: true
 - repo: local
   hooks:
-  - id: pyright
-    name: pyright
-    entry: uv run --no-sync pyright
+  - id: ty
+    name: ty
+    entry: uv run --no-sync ty check
     language: system
     types: [python]
+    pass_filenames: false
     require_serial: true
 - repo: local
   hooks:
-  # The second opinion the assert_type examples exist for. Always runs: what
-  # these examples catch is a source change altering an inferred type, so
-  # scoping the hook to the examples themselves would never fire on the edit
-  # that broke them.
-  - id: ty
-    name: ty
+  # The assert_type examples, re-checked against the newest Python the project
+  # supports. Always runs: what these examples catch is a source change altering
+  # an inferred type, so scoping the hook to the examples themselves would never
+  # fire on the edit that broke them.
+  - id: ty-type-checking
+    name: ty-type-checking
     entry: uv run --no-sync ty check --python-version 3.14 tests/type_checking
     language: system
     always_run: true

AGENTS.md

@@ -18,8 +18,8 @@ uv run pytest tests/units --cov --no-cov-on-fail --cov-report=   # unit tests (>
 uv run pytest tests/integration                                  # integration tests (slow)
 uv run ruff check .                                              # lint
 uv run ruff format .                                             # format
-uv run pyright reflex tests                                      # type check
-uv run python scripts/check_min_deps.py                          # validate each package's declared minimum dep versions (pyright in isolated min-version envs; workspace siblings resolve from locally built wheels, all other deps from PyPI). CI passes --wheelhouse instead, reusing the build jobs' artifacts
+uv run ty check                                                  # type check
+uv run python scripts/check_min_deps.py                          # validate each package's declared minimum dep versions (ty in isolated min-version envs; workspace siblings resolve from locally built wheels, all other deps from PyPI). CI passes --wheelhouse instead, reusing the build jobs' artifacts
 uv run python scripts/check_min_deps.py --check-dev-pins [pkg]    # fail if pkg (default: all) declares an unpublishable *.dev dependency pin (the publish workflow runs the same gate via `reflex-release check-dev-pins`)
 uv run reflex-release sync                                       # regenerate the release workflows after editing [tool.reflex-release] or the reflex-release templates
 uv run python scripts/make_pyi.py                                # regenerate .pyi stubs
@@ -210,7 +210,7 @@ if TYPE_CHECKING:
 Before submitting:
 1. Tests pass with adequate coverage
 2. `uv run ruff check .` and `uv run ruff format .` clean
-3. `uv run pyright reflex tests` passes
+3. `uv run ty check` passes
 4. `pyi_hashes.json` updated if components changed
 5. Documentation updated if user-facing behavior changed
 6. News fragment added for user-facing changes

CONTRIBUTING.md

@@ -175,7 +175,7 @@ Next make sure all the following tests pass. This ensures that every new change
 
 ```bash
 uv run ruff check .
-uv run pyright reflex tests
+uv run ty check
 ```
 
 Finally, run `ruff` to format your code.
@@ -184,7 +184,7 @@ Finally, run `ruff` to format your code.
 uv run ruff format .
 ```
 
-Consider installing git pre-commit hooks so Ruff, Pyright, and `make_pyi` will run automatically before each commit.
+Consider installing git pre-commit hooks so Ruff, ty, and `make_pyi` will run automatically before each commit.
 
 ```bash
 uv run pre-commit install

docs/app/reflex_docs/pages/docs/__init__.py

@@ -582,7 +582,7 @@ def register_doc(virtual_doc: str, comp):
 
 
 # Alias needed by sidebar — the library page route object.
-library_: Route = library  # type: ignore[assignment]
+library_: Route = library
 
 
 # Process all docs via reflex_docgen pipeline.

docs/app/reflex_docs/pages/docs/cloud_cliref.py

@@ -261,7 +261,7 @@ def process_command(command: click.Command, name: str) -> str:
 
 
 if find_spec("typer") is not None and find_spec("typer.main") is not None:
-    import typer  # pyright: ignore[reportMissingImports]
+    import typer
 
     if isinstance(cli, typer.Typer):
         cli = typer.main.get_command(cli)

docs/app/reflex_docs/templates/docpage/sidebar/sidebar.py

@@ -559,7 +559,7 @@ def sidebar_comp(
         rx.cond(is_docs_ai_builder, ai_builder_content, docs_content),
     )
 
-    return rx.box(  # pyright: ignore [reportCallIssue]
+    return rx.box(
         categories,
         content,
         style={

docs/app/reflex_docs/utils/http.py

@@ -26,7 +26,7 @@ def once(f: Callable[[], T]) -> Callable[[], T]:
     def wrapper() -> T:
         nonlocal value
         value = f() if value is unset else value
-        return value  # pyright: ignore[reportReturnType]
+        return value
 
     return wrapper
 

examples/playground/.content-hash

@@ -1 +1 @@
-sha256:4e394b7fae5105fdd5820509cefc0ee7bd5d4e05714a89cfb8d1478568123ef5
+sha256:651c89480e23f669f2388196cf4bac2397fff2e8363a1cd1544e25e07a53a030

examples/playground/playground/models.py

@@ -31,7 +31,7 @@ def seed_database():
     """
     with rx.session() as session:
         connection = session.connection()
-        product_table = Product.__table__  # pyright: ignore[reportAttributeAccessIssue]
+        product_table = Product.__table__  # ty:ignore[unresolved-attribute]
         connection.execute(CreateTable(product_table, if_not_exists=True))
         table = Product.__tablename__
         if connection.exec_driver_sql(f"SELECT 1 FROM {table} LIMIT 1").first():

examples/playground/playground/pages/charts.py

@@ -7,7 +7,7 @@
 from playground.layout import layout
 from playground.states.charts import KINDS, MAX_POINTS, MIN_POINTS, ChartsState
 
-CHART_SIZE = {"width": "100%", "height": 280}
+CHART_SIZE: dict[str, Any] = {"width": "100%", "height": 280}
 
 
 def waves_chart() -> rx.Component | rx.Var:

examples/playground/playground/pages/grids.py

@@ -31,7 +31,7 @@ def grids() -> rx.Component:
                 rx.data_editor(
                     columns=EDITOR_COLUMNS,
                     data=GridState.rows,
-                    on_cell_edited=GridState.edit_cell,  # pyright: ignore[reportArgumentType]
+                    on_cell_edited=GridState.edit_cell,  # ty:ignore[invalid-argument-type]
                     height="20rem",
                 ),
                 id="grids-editor",

examples/playground/playground/pages/item.py

@@ -15,6 +15,6 @@ def item() -> rx.Component:
         rx.vstack(
             rx.heading("Item"),
             # Dynamic route arguments are vars of the root state.
-            rx.text("item_id: ", rx.code(rx.State.item_id, id="item-id")),  # pyright: ignore[reportAttributeAccessIssue]
+            rx.text("item_id: ", rx.code(rx.State.item_id, id="item-id")),  # ty:ignore[unresolved-attribute]
         )
     )

examples/playground/playground/pages/settings.py

@@ -75,7 +75,7 @@ def settings() -> rx.Component:
                                 name.capitalize(),
                                 rx.switch(
                                     checked=SettingsState.switches[name],
-                                    on_change=lambda _, name=name: SettingsState.flip(
+                                    on_change=lambda _, name=name: SettingsState.flip(  # ty:ignore[invalid-argument-type] https://github.com/astral-sh/ty/issues/4098
                                         name
                                     ),
                                     id=f"settings-switch-{name}",
@@ -123,7 +123,7 @@ def settings() -> rx.Component:
                         rx.callout(
                             "The accent previews here; the app theme stays violet.",
                             icon="info",
-                            color_scheme=SettingsState.accent,  # pyright: ignore[reportArgumentType]
+                            color_scheme=SettingsState.accent,  # ty:ignore[invalid-argument-type]
                             size=rx.cond(SettingsState.compact, "1", "2"),
                             id="settings-preview",
                         ),

examples/playground/playground/pages/tasks.py

@@ -32,7 +32,7 @@ def task_row(task: rx.vars.ObjectVar[Task]) -> rx.Component:
     return rx.hstack(
         rx.checkbox(
             checked=task.done,
-            on_change=lambda _: TasksState.toggle(task.id),
+            on_change=lambda _: TasksState.toggle(task.id),  # ty:ignore[invalid-argument-type] https://github.com/astral-sh/ty/issues/4098
         ),
         rx.text(
             task.title,
@@ -123,7 +123,7 @@ def tasks() -> rx.Component:
                 *[
                     rx.input(
                         placeholder=f"note on {tag}",
-                        on_blur=lambda value, tag=tag: TasksState.set_note(tag, value),
+                        on_blur=lambda value, tag=tag: TasksState.set_note(tag, value),  # ty:ignore[invalid-argument-type] https://github.com/astral-sh/ty/issues/4098
                         id=f"tasks-note-{tag}",
                     )
                     for tag in TAG_CHOICES

examples/playground/playground/states/data.py

@@ -60,7 +60,7 @@ def _query(self):
         """Query the current page of the filtered, sorted products."""
         statement = Product.select()
         if self.query:
-            statement = statement.where(Product.name.contains(self.query))  # pyright: ignore[reportAttributeAccessIssue]
+            statement = statement.where(Product.name.contains(self.query))  # ty:ignore[unresolved-attribute]
         if self.category != "all":
             statement = statement.where(Product.category == self.category)
         column = getattr(Product, self.sort_by)

examples/playground/playground/states/editor.py

@@ -117,7 +117,7 @@ def save(self, form_data: dict[str, Any]):
             return rx.toast.error("Fix the highlighted fields.")
         with rx.session() as session:
             if self.product is None:
-                product = Product(listed_day=0, **values)  # pyright: ignore[reportArgumentType]
+                product = Product(listed_day=0, **values)  # ty:ignore[invalid-argument-type]
             else:
                 product = session.get(Product, self.product.id)
                 if product is None:

examples/playground/playground/states/tasks.py

@@ -167,7 +167,7 @@ def set_filter(self, value: str | list[str]):
         Args:
             value: One of ``all``, ``open`` and ``done``.
         """
-        if value in FILTERS:
+        if isinstance(value, str) and value in FILTERS:
             self.filter = value
 
     @rx.event

examples/playground/playground/states/widgets.py

@@ -23,7 +23,7 @@ def set_layout(self, value: str | list[str]):
         Args:
             value: One of ``cards``, ``list`` and ``table``.
         """
-        if value in LAYOUTS:
+        if isinstance(value, str) and value in LAYOUTS:
             self.layout = value
 
     @rx.event