"cannot get type" with TypeVar field #223

New Issue

sb10q · 2022-03-18T11:34:50+08:00

sb10q commented

2022-03-18 11:34:50 +08:00

@extern
def output_int32(x: int32):
    ...

class A:
    def __init__(self):
        pass

    def foo(self):
        output_int32(1)

class B:
    def __init__(self):
        pass

    def foo(self):
        output_int32(2)


T = TypeVar("T", A, B)


class C(Generic[T]):
    x: T

    def __init__(self, x: T):
        self.x = x

    def foo(self):
        x.foo()


def run() -> int32:
    insta = A()
    inst = C(insta)
    inst.foo()
    return 0

thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: "type error at identifier `x` (cannot get type of x) at src/classes.py: line 30 column 9"', nac3standalone/src/main.rs:223:35

```python @extern def output_int32(x: int32): ... class A: def __init__(self): pass def foo(self): output_int32(1) class B: def __init__(self): pass def foo(self): output_int32(2) T = TypeVar("T", A, B) class C(Generic[T]): x: T def __init__(self, x: T): self.x = x def foo(self): x.foo() def run() -> int32: insta = A() inst = C(insta) inst.foo() return 0 ``` ``` thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: "type error at identifier `x` (cannot get type of x) at src/classes.py: line 30 column 9"', nac3standalone/src/main.rs:223:35 ```

sb10q commented

2022-03-18 16:31:56 +08:00

Poster

PEBKAC

sb10q closed this issue

2022-03-18 16:31:56 +08:00

Sign in to join this conversation.