facebook / facebook/pyrefly

Inlay hint for attribute does not match inherited annotation

Open
#846 2 comments 0 reactions 1 assignee Claimed by @asukaminato0721 View on GitHub
language-server
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

Inlay hint shows `tuple[Literal["B"]]`, but `reveal_type` of `B.x` is the inherited `tuple[str, ...]`

I think this is because we probably treat assignments in classes the same as regular assignments, but we probably need some special handling fr attributes.

### Sandbox Link

https://pyrefly.org/sandbox/?code=MQAg6gpgNgxg9gWwiALnVALZAFAngJwgDMpcQBlAQwDsATAIzgA8AaTASwGcQuRKQADpQDmEAFCgA7lkIhccAK4gYNEJPzsUENpwyVZNWiCgR91PowUpUuAe2rCe5vCgxxqAOgkSQACQgGBsqKAiYgRKYoCoTccEQc3JyGjEwAXD4AtCAA4hDWhJRQGSjsSDYCyDBYMADW9o4REAyUtZkgAKqcyIQAbqZQAPoothAAFACUqOj2nBUw1vYR+IRGwxWcbRBMFRpI1NaSmhiYyACSACIAouGR0RDcrpQHyJwKAgJw+NajEB7CHnwrHB4AhQnltCBhHBitDaMR7Jp2O42G4+vg2HkYOM2mANFo+HQQPgFM5cK53ME4SBaOxCPNSE45Ip8CB6Pg4JIuvgxGIiOyEOV6jxQZ9rAAqHkwKCUTjcACC6RASpAaRAAGFpbKAGr6ADaUTBus4KHRIA85oAuhaQABeECjABEcodLGxYilMu4ACFRnLxorlUxbfaHV6XW7ev0hiNRl6PExsUA

### (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.