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.