Attribute assignments in `@staticmethod`s should not influence instance attributes

[sharkdp]

The goal of this issue is to get rid of the TODO comments in this test. An attribute assignment in a @staticmethod should not influence the existence of implicit (instance) attributes:

class Unrelated:
    x: int

class C:
    @staticmethod
    def f(unrelated: Unrelated):
        unrelated.x = 1

reveal_type(C().x)  # should be an error

Whether or not this requires special-casing of @staticmethod during semantic index building is an open question. The answer to this question influences whether or not we can also handle the more exotic edge-cases in the mentioned test (e.g. aliased @staticmethod).

Part of: astral-sh/ruff#14164

[carljm]

Per the description of this issue, this was fixed in astral-sh/ruff#18809 -- the TODOs in https://github.com/astral-sh/ruff/blob/main/crates/ty_python_semantic/resources/mdtest/attributes.md#static-methods-do-not-influence-implicitly-defined-attributes are gone.