(🐞) Variable in dataclass body has value of type `Field` when mypy thinks it's `int` (or whatever)

[KotlinIsland]

from dataclasses import dataclass, field

@dataclass
class A:
    a: int = field(default=1)
    print(a + 1)

• related no error when using field outside of a dataclass #13120