Steven Troxler

I like the idea of flipping the order - then the benefits @yangdanny97 mentioned are there without the grammatical error. It also keeps the code more concise

Taking myself off this because I'm not really touching narrowing anymore cc @yangdanny97 - this is pretty similar to some of the other narrowing cases like `hasattr`

We have some ideas about an approach that might work I'll tentatively claim this: I'm looking at unrelated flow merging changes related to narrowing, and this would be a logical...

Just a note for whenever someone can take this up: we have a series of issues that are related to some combination of `overload` and `__new__` resolution, it's not always...

Thanks for the bug report! I think your diagnosis is correct. We recently (within the past few weeks) updated Pyrefly to model side effects of imports in `__init__.py` modules; those...

There is indeed no (thread-based) parallelism. We make heavy use of multiprocessing with a relatively primitive shared memory implementation (based on serializing all Ocaml values before passing to a lock-free...

Hey, sorry for the delay on this, I had some configuration issues getting these tools set on my internal server. Here's the output of an olly trace of the relevant...

I think this may be working as intended, and we may need to understand the search path better. I'm not very familiar with Lambda, but as a general rule if...

Makes sense, thanks for the context! I think Pyrefly probably won't be able to do this out of the box (I suspect neither can pytest, which is why the config...