fileA:
class A { ... }

fileB:
class B extends A { ... }

file:
const a: X<B> = ...;