Replies: 1 comment 8 replies
-
For context, this is the behavior in MyPy. MyPy playground. |
Beta Was this translation helpful? Give feedback.
8 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
One thing I was curious about with the new 3.13 type var defaults, is if they could be used to inform the type-checker in the case of an argument that might not be provided:
Playground
Currently this raises a warning, but I wasn't sure based on the language of PEP 696 if this has to be the case.
I feel this gives Pyright flexibility to support this case if it wants. Personally, I think there are a few situations where this helpful, or at least running into one right now.
Beta Was this translation helpful? Give feedback.
All reactions