Describe the Bug

Pyrefly:

Pyright:

Context: LSP definition enables following token references into the file where it was defined, usually by Control-click.

I am not able to get LSP definition for nn submodule in torch.nn.Linear in Pyrefly, but am able to do so in both LSPs in import torch.nn.

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response