Pyright runs forever on an identity function being called with a tuple containing two references of itself as argument

[InSyncWithFoo]

From #7250 (playground):

def f[T](v: T) -> T:
    return v

reveal_type(f((f, f)))

With [f] instead of (f, f), it outputs a ~15KB message:

Type of "f([f])" is "list[(v: list[(v: list[(v: list[(v: list[(v: list[(v: list[... -> list[(v: ) -> ]]) -> list[(v: list[(v: ) -> ]) -> list[(v: ) -> ]]]]]]]]]]"