facebook / facebook/pyrefly

Add config option to disable optional checks

Open
#4,594 4 comments 0 reactions 0 assignees View on GitHub
configuration help wanted typechecking
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### 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_

Contributor guide

Open the contributing guide

Research direction

Start by reading the optional-check handling and the is_subset_eq logic mentioned in the issue, then compare the requested behavior with mypy's no-strict-optional setting and Pyright's optional-specific error codes. The work is done when there is a configuration option to disable these checks and its downstream type-checking behavior is validated.

Written by the indexing model from the issue text.

Assessment

Tech stack
python, rust
Domain
devtools
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.