pyright's `reportUnknownArgumentType`, `reportUnknownMemberType` & `reportUnknownVariableType` are not covered by `implicit-any`
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
according to [the error kind mapping](https://pyrefly.org/en/docs/migrating-from-pyright/#error-kind-mapping), `implicit-any` should cover this case:
```python
class A:
def __init__(self) -> None:
# some library with broken types
self.foo: Unknown = 1 # pyrefly: ignore[unknown-name]
print(A().foo) # no error
```
[basedpyright playground](https://basedpyright.com/?pyrightVersion=1.39.5&typeCheckingMode=all&code=MYGwhgzhAECCBcBYAUNN0AmBTAZtA%2BvgJYB2RALoQBQRYg4CU0AtAHzQByA9iVkqukEBiaBC4BbLNBBEARgCcw8gJ7QA7hQAW0BVwDWWEtHLKADlggpBg2vQB0OLl3jQAqiT0kuaowF5oAIzQIqbK8kQA5prkLpFe8lgA2gmmXPLk7tg4pFgYAGpKRGCyIFgAuigopuEk5FSwVAwOTgxAA)
### Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxlKnHAAQCCiAOgE4vr3f2Yxj0A%2BoIjoIAF2EAKODChgAlPQC0APnoA5XOhisOXHoYDE9OLgC2MelAjY2qNqXoB3CQAt6d3AGsYXcaTE8Oychoay8oRguLiI9ACq6N7ouM5cALz0AIz0JmRs-FCkcRAA5ikFANoArkkpacroqJYAuiHo7cRsouJSjFIKUTFKJin0MGxsuGwgADQg%2BYWkhOIWUBQmAAqkBWBFphg4BPSU2pCl1fbiENqEnCYAyjBWbuLixHCIAPRfi3vL01KXz8X0wuEocC%2Bp3Q50uqGu2i%2B9GibHoqAAbqhoKhsLATmcynCEVxcMRiXA7ugyOI3NplOiJnAbhl6CwQABmQhZABMbM4lQmUzYcDa6FqEHMxGm4hgmGUmAgBUo1wZ9EyAHIyhUYOrOClxMoCgBHaqK2XKXykZSoSiUeAMDXOBzoXViSU2SgSa3oJwawXTV0wfDED1ejC%2B%2Bjq-1sV0SkMQT3iIry-iic3w8TdbDVGVqyPR9UgAC%2B8xtKpgADFoDAKGgsHgiGRi0A
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.