Error: Function declaration "x" is obscured by a declaration of the same name when it should not.

**Describe the bug**
A clear and concise description of the behavior you are seeing and the expected behavior along with steps to reproduce it.

**Code or Screenshots**
```python
from typing import TypeVar

U = TypeVar("U")
if 1 + 1 == 2:

def x(v: U) -> U:
return v
else:

def x(v: U) -> U:
return v
```

I got Function declaration "x" is obscured by a declaration of the same name. But these two functions are identical IMO. This seems to be related to the TypeVar. If I do not use TypeVar, the error goes away.

Start by running the provided Python snippet through Pyright, then compare it with the version that does not use TypeVar. Investigate the duplicate function-declaration diagnostic and confirm the fix by verifying that identical conditional definitions no longer produce the error while genuinely conflicting declarations still do.

Written by the indexing model from the issue text.