mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 04:22:42 +07:00
Both mypy and pyright don't show an error for the following case
@dataclass(frozen=False)
class Concrete4_Good7:
val1: Sequence[float] = [0]
However, according to spec, such mutable defaults are not allowed. It will also fail at runtime
(cherry picked from commit ee569653a8f5cf91d6cb87321d63bf8e208d172d)
IJ-MR-174248
GitOrigin-RevId: 275e527ac36ac727dfc23f17bd0b539cff9df8c2