attribute types

[KotlinIsland]

class A:
    a: Final[int]
    b: TypeCheckOnly[str]
class A2(A):
    a: Final[bool]

class B[T: A]:
    c: T.a

b: B[A2]
reveal_type(b.c)  # bool