check-unannotated-defs=false doesn't work in the sandbox
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 519
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
See sandbox link. Even when I set `check-unannotated-defs=false` in the config file, Pyrefly still reports errors in the body of an unannotated function. I checked that this all works correctly on the command line; it's only the sandbox behavior that's broken. From a quick look, it's probably because we decide whether to report errors in unchecked bodies based on the Require level, assuming that Require::Errors is CLI and Require::Everything is IDE, but the sandbox uses Require::Everything.
### Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSImMYABGABQCUiAOgE4vo3c36I1wALmxoBeGgAYQAGhBk21KKUKDcAWygUAxgAsYWgNYBaAK7oM6XINSCYmI1TBwxdVFDgwQAX1motgiAA3GAAxaE9EEDQsPCIybyA
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.