Multiple Module TypeVar redirection not recognized

[mfish33]

Describe the Bug

Foo/init.py: empty
Foo/Bar.py

from typing import TypeVar

ImportedT = TypeVar( "ImportedT" )

main.py:

import Foo.Bar

def myFunc( t: Foo.Bar.ImportedT ) -> Foo.Bar.ImportedT:
    return t

It seems like the TypeVar in this case is not resolved through double module-level indirection.

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIEAtsbgE4AuABAGK66EBCqdAOuv0wwwTKqRYBXdAGMAFEwaJW7Lj0IBJGvQYxMAFSYBKJgFoAfMo7c6GrY117E-Ji6Z0YDCXXQL%2BIADQgZO5gUKSEDLhUUBQAxEwACqQhYUxoWHj4TNK46JAA5l6oDBC5hPzxAMowMEwAFgwMxHCIAPStwcJhhPT5rTDorZi40nCtOXkQhXTFpYNMYPRMqABuqNCo2LDZuQVFJblMuMQH6HDl6GQMdbkmKzB0cHNMALxMvCAAzIQAjABMH34xHccA8Lw%2BcAYdAg0gYgPQAG0HnR6HAALr8KTUWj2TAmTAQdywiD3V5MADkU3Q9Bg5P41IYJncAEcJITdCYANYwUgmVDSaTwOBk8kAdx46Dp6ACIDYuFaAH0FRB0BAGEqSORECAZXLWtZNRQwCiqApSMQVfkmNjtEw9OaYAA1Hj8fiaHE6fRk%2B3EJ08eQfd3aBwfIx%2BAC%2BgX5JXuLGgMAo6RwBEN4aAA

(Only applicable for extension issues) IDE Information

No response

[rchen152]

Huh, this works if ImportedT is defined in Foo/__init__.py and referenced as Foo.ImportedT. I wonder if it's an expression parsing issue, where we're handling a too-restrictive subset of attribute expressions.

[mfish33]

Spoke to @stroxler about this specifically. It looks like it is in the binding phase. There is a hardcoded limit of 1 module redirection for legacy-type vars. If you don't mind, I can pick this up to try to learn the codebase a little better.

[rchen152]

Sure, would love the help! Please don't hesitate to reach out if you run into any difficulties.