Danny Yang
Danny Yang
We can't reopen the PR for you, I think only you can
thanks @guoci ! I'll update our bundled typeshed next week
assigned, thanks!
@IDrokin117 thanks for taking the time to investigate this, and sorry it took so long to get back to you on this. I appreciate the detailed examples here. Regarding your...
That would be handy to have! I wonder if we could emit both error formats, since the regular would still be useful for folks that want to look at the...
For contributors: The task is to add 2 special cases to the bindings of for-loops: calls to `range()` with a nonzero literal integer, and looping on a non-empty container like...
This was merged as an internal CI job
It's undocumented right now, but I believe there's a basic implementation already in pyrefly, you should be able to see it if you run `pyrefly report`
I think we just don't understand the prop.deleter decorator For starters, we need to add a special case here https://github.com/facebook/pyrefly/blob/4d7c9c5cbae443579231b895d14ddf063d5031fd/pyrefly/lib/alt/attr.rs#L1312
I think it's because because it's inherited from `object` https://github.com/python/typeshed/blob/65b8a85e4b775d5465e7fdb7382c181fb7efa958/stdlib/builtins.pyi#L110 We skip `object`'s attributes for completions, per the definition of `completions_class` (according to the comment, this is because there were...