pyright doesn't catch trivial unbount attributes in __init__

**Describe the bug**
Pyright doesn't detect unbound attributes in `__init__`. Strangely enough, other type-checkers don't catch this, too. Which means it might not be a bug?

**Code or Screenshots**

```python
class A:
def __init__(self)->None:
print(self.x)
self.x: int = 2

a = A()
```

```bash
$ uvx pyright --version
pyright 1.1.408
$ uvx pyright a.py
0 errors, 0 warnings, 0 informations
```

Reproduce the report using the provided A class in a.py and the shown uvx pyright command with version 1.1.408. Trace how Pyright analyzes attribute access and annotations inside __init__; done means establishing whether the access should produce a diagnostic and covering the chosen behavior with a regression test.

Written by the indexing model from the issue text.