Use declared attribute types as type context

I believe this is the last source of type context we are missing, e.g.,
```py
class X:
    x: list[Literal[1]]

def _(x: X):
    x.x = [1]
```

See https://github.com/astral-sh/ruff/pull/20796#issuecomment-3392376038 for details.