Describe the Bug
https://mypy.readthedocs.io/en/stable/command_line.html#no-strict-optional
pyright has a bunch of optional-specific error codes, for people who are migrating from codebases without null-safety
ideal implementation is unclear, maybe the easiest way is to treat None as Any in is_subset_eq, but IDK the downstream implications of this.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response
Describe the Bug
https://mypy.readthedocs.io/en/stable/command_line.html#no-strict-optional
pyright has a bunch of optional-specific error codes, for people who are migrating from codebases without null-safety
ideal implementation is unclear, maybe the easiest way is to treat None as Any in is_subset_eq, but IDK the downstream implications of this.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response