Danny Yang
Danny Yang
Thanks for reporting, sounds like we need to add some special casing for this function
Hi, sorry for the delay here. I entered your snippet into the mypy and pyright playgrounds and they both give the same error. I also don't quite understand what the...
No worries! If you encounter any more possible bugs in Pyrefly, please continue to report them :)
I think the bug here is that we're not treating the first param of the generated function as `self` properly. Maybe assigning a regular callable to an attribute does not...
I'm working on this, we also chatted with the ty team at Astral last week about it to make sure that we're on the same page. While the typing spec...
I think extending this behavior to all `ClassVar[Callable[...]` is reasonable - as the python discourse thread mentions, there is no correctness benefit to this since it's just a heuristic, but...
https://github.com/facebook/pyrefly/pull/1557 implements the Classvar thing
There are two kinds we need to handle: - concrete pattern = exclude tuples that can;t be exactly this length - unbounded patterns = exclude tuples that have < n-1...
related to https://github.com/facebook/pyrefly/issues/110
Ah sorry, I forgot to mark https://github.com/facebook/pyrefly/issues/623 as a duplicate. I have a fix ready for that which will also close this issue. @krathul thanks for volunteering :) please feel...