facebook / facebook/pyrefly

`python-version="3.10"` + `ignore-missing-imports = ["*"]` causes `reveal_type` to stop working

Open
#3,124 3 comments 0 reactions 1 assignee Claimed by @ahaanbohra View on GitHub
configuration stale typechecking
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

If the Python version is set to 3.10 (i.e., before `typing.reveal_type` was added), and `ignore-missing-imports = ["*"]` is used (note: `pyrefly init` automatically adds this config option when migrating from a mypy config with `ignore-missing-imports`), then pyrefly stops emitting anything for `reveal_type`. See sandbox link.

This is technically correct (the missing `reveal_type` import is replaced with `Any`), but it really confused me when I was running pyrefly on a project and couldn't get any of my `reveal_type`s to show up.

### Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN2UYANxiooAfSbEYAHUoz0gkWMnMYACgAMAShAAaEGUFgopQg1pQKAYjoAFUsdN00WPPjoBjXOkhsArpSoDBA%2BhAq2AMowMHQAFgwMxHCIAPSpRjAmZrxsqTDoqZi4nnCp3r4QAUEhPql0YLx0qEKo0KjYsF4%2BfoHBoeh0uMS16HDh6GQMcT4AtCKUcAN0ALx0MiAAzIQAjJobCqxgMJSzAO4Q07OQiwyz-nAwK2Bij4ds6LwwszQQcEvsWZcHh8OCrOgAbQ2ACoNgBdBQQk7URYI9D%2BdDA3gMGCYWaYCCCTwhETggDkVU%2BgjJCk%2Bd0EAEd-ITcbMANYwUizVCeTzwMFrMlnVCUdBkkAAXwMPJJMAAYtAYBRXDgCCRyBKgA

### (Only applicable for extension issues) IDE Information

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.