Skip to content

fix Show package name in hover #4358 - #4555

Closed
asukaminato0721 wants to merge 2 commits into
facebook:mainfrom
asukaminato0721:4358
Closed

fix Show package name in hover #4358#4555
asukaminato0721 wants to merge 2 commits into
facebook:mainfrom
asukaminato0721:4358

Conversation

@asukaminato0721

Copy link
Copy Markdown
Collaborator

Summary

Fixes #4358

Hovered values now show canonical names such as torch.Tensor and numpy.ndarray, including union aliases.

Test Plan

add test

@meta-codesync

meta-codesync Bot commented Aug 15, 2026

Copy link
Copy Markdown
Contributor

This pull request has been imported. If you are a Meta employee, you can view this in D116161245. (Because this pull request was imported automatically, there will not be any future comments.)

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@stroxler stroxler left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Back to you for a question about same-module names

Comment thread pyrefly/lib/test/lsp/hover.rs Outdated
@github-actions

Copy link
Copy Markdown

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@stroxler stroxler left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

@meta-codesync meta-codesync Bot closed this in b7feafe Aug 21, 2026
@meta-codesync meta-codesync Bot added the Merged label Aug 21, 2026
@meta-codesync

meta-codesync Bot commented Aug 21, 2026

Copy link
Copy Markdown
Contributor

This pull request has been merged in b7feafe.

@asukaminato0721
asukaminato0721 deleted the 4358 branch August 21, 2026 15:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Show package name in hover

4 participants