`Any | Never` evaluates to `Never` instead of `Any`

**Describe the bug**
A type annotation like `Any | Never` (the `Any` part could be replaced with any subclass of `Any`) evaluates to `Never` instead of `Any`.

**Code or Screenshots**
```python
from typing import Any, Never

def f(x: Any | Never):
reveal_type(x) # `Never`
```

**VS Code extension or command-line**
Confirmed on Pyright 1.1.402, but this behavior can also be seen on much older versions.

Start with the Python reproducer in the issue and run it against Pyright 1.1.402, checking the revealed type for `Any | Never`. No source file or test is named; done means the expression reveals `Any` rather than `Never`, with regression coverage added in the relevant type-evaluation tests.

Written by the indexing model from the issue text.