Use declared attribute types as type context

[ibraheemdev]

I believe this is the last source of type context we are missing, e.g.,

class X:
    x: list[int | str]

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

See astral-sh/ruff#20796 (comment) for details.