Mutable dataclass field checks don't respect immutable annotations

[charliermarsh]

Originally posted by @andersk in #3877 (comment)

[dhruvmanila]

I can take this up :)

Am I correct to assume that the said helper function in the original comment should be refactored to ruff_python_semantic? This is because it's dependent on Context.

[Pentusha]

I think my case is suitable for this issue:

error message:

 edgeql_qb/render/types.py:10:27: RUF009 Do not perform function call `FrozenDict` in dataclass defaults

immutable dataclass with immutable field:

@dataclass(slots=True, frozen=True)
class RenderedQuery:
    query: str = ''
    context: FrozenDict = FrozenDict()

Hashable (Immutable) FrozenDict code here.
For me it seems like false positive.

Ref: Pentusha/edgeql-qb#92

[dhruvmanila]

@Pentusha This comes from RUF009 while this issue is to track RUF008. Yours is a valid case as well but it might be difficult to detect due to the lack of type inference.