Danny Yang

Closing the issue for now since it seems resolved, feel free to reopen if you run into any issues getting things working with spyder.

Narrowing works with the walrus operator (in this particular case the RHS doesn't work because attribute narrowing doesn't work yet, but the LHS should work) I think this is a...

Mypy's behavior here seems to be that if the name comes from the global scope we do not preserve the refinement inside a nested function, but if the name comes...

Actually, I think both mypy and pyright have more subtle behavior here, depending on what happens later in the scope ``` def foo(x: int | None) -> None: if x...

@mexus > should I better create a separate issue? yes please, that's a type of narrowing that we didn't build yet. it's different for `isinstance` since it requires the type...

Minimal repro in the sandbox: https://pyrefly.org/sandbox/?code=GYJw9gtgBALgngBwJYDsDmUkQWEMoDCAhgDYlEBGJApgDRQAKRIREAygtQMYBQPDUALyNmrDtwAUAIgZSAlDwAm1YFGABGCcABchUuSrUA2g3qoYAXXoAqZmgDOuhgDo79m9YDWAdzdPnPm5yUAC0AHyYKDDaPFBQINQwAK4gKGoStiAOHoFZ9sEA1OmZ2VDWXr55CjzAAEy6xGSUNEbObWZRFnwaWrX06nJAA

This will be fixed shortly and included in the next release.

+1 for poetry

Django-stubs has a mypy plugin, so supporting it may be difficult - there's some discussion about plugins in https://github.com/facebook/pyrefly/issues/168 and https://github.com/facebook/pyrefly/discussions/407 Django-types might be an alternative (there are some known...

I would expect to see some conformance changes from fixing this issue, but I don't see `conformance.exp` changes - did you run `test.py` and commit the generated files? Also, since...