Support `pyrefly`

Open A5rocks opened this issue 7 months ago • 2 comments

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.

Jun 16 '25 23:06 A5rocks

~~Blocked on https://github.com/facebook/pyrefly/issues/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! https://github.com/facebook/pyrefly/issues/507

Jun 17 '25 14:06 A5rocks

Now that that issue is fixed, I tried this again. However, now we hit https://github.com/facebook/pyrefly/issues/1110.

Sep 17 '25 21:09 A5rocks