Question: Hover information on "re-exports"?

[michaelfortunato]

Hi all,
I am working with a package called PyG, and noticing I am not getting hover info on this item DataLoader because I believe it is re-exported.

Not showing case

It is "re-exported" (not sure what the proper term is) here: Note that Goto works on this item, even though hover shows unknown.

Showing case

In contrast if I import DataLoader from the module in which its truly defined. I get hover information as expected.

The class is actually defined in the module

Is this expected? Or should Pyrefly detect the type of DataLoader the "Not Showing Case" above?
Note that in the "not showing case", Goto works on this item, even though hover shows unknown.
Thanks

[michaelfortunato]

Possibly related #964

[WayenVan]

Same here, in pytorch's official docker.

[rchen152]

cc @kinto0 - Is this a bug or just something not yet supported? From last week's discussion about #865, I was under the impression that hover should work for re-exports, but I may have misunderstood.

[kinto0]

This actually has nothing to do with the re-export. This is because the type is redefined in that same file here incorrectly. If you delete / fix that type (not sure of the runtime consequences), the problem goes away. Pylance runs into the same issue here.

Feel free to re-open if this issue isn't solved.