Dataclasses typically don't have `__init__`, so this is rejected, but is probably valid: ```python @dataclass class C: x: int y: Final[int] ``` A possible solution is that plugin should set the `final_set_in_init` flag manually for the corresponding field `Var`s.