Skip to content

Support pyrefly #3287

Open
Open
Support pyrefly#3287
Labels
typingAdding static types to trio's interface

Description

@A5rocks
A5rocks
opened on Jun 16, 2025

pyrefly is one of the two new typecheckers. We should run it over our type tests to make sure our interface is supported, fixing anything necessary.

Activity

  1. A5rocks
    added
    typingAdding static types to trio's interface
    on Jun 16, 2025

  2. A5rocks commented on Jun 17, 2025

    @A5rocks
    A5rocks
    on Jun 17, 2025
    ContributorAuthor

    Blocked on facebook/pyrefly#43 because the self/cls parameter of decorated methods in trio.Path is generic (Self).

    EDIT: nevermind I misunderstood, I made a new issue to track our problem! facebook/pyrefly#507

  3. A5rocks commented on Sep 17, 2025

    @A5rocks
    A5rocks
    on Sep 17, 2025
    ContributorAuthor

    Now that that issue is fixed, I tried this again. However, now we hit facebook/pyrefly#1110.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    typingAdding static types to trio's interface

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions