Class fields type inference fails in inheritance scenarios in Codon 0.19

[wdx727]

In inheritance scenarios, the automatic inference function for class fields in Codon 0.19 fails.

class A:
    def __init__(self, a: int):
        self._a: int = a

class B(A):
    def __init__(self, a: int, b: int):
        super().__init__(a)
        self._b: int = b

    def add(self) -> int:
       return self._a + self._b

print(B(1, 2).add())

An error occurs when the above code is executed. “error: 'A[NoneType]' does not match expected type 'A[int]'”

[inumanag]

When using inheritance, do not use automatic inference for now---automatic inference is bit buggy and the typechecking does not work in some cases. In general, always use dataclass-like member declaration (both for readability and better typechecking).

We will fix this once the bugs with automatic inference are fixed (in next few versions, maybe).