inheritance.ts:19:12 - error SC1090: reading the abstract property 'limit' through a 'this'-typed receiver (abstract property declarations are erased at runtime, so no shared slot exists — type the receiver as the concrete class, or declare an abstract getter instead) is not supported yet

  18 |   usesLimit(): number {
  19 |     return this.limit;
     |            ^~~~~~~~~~
  20 |   }

inheritance.ts:31:3 - error SC1090: abstract generic methods (generic methods monomorphize from the nearest declaration's body, and an abstract declaration has none) are not supported yet

  30 | abstract class GenericAbstract {
  31 |   abstract pick<T>(x: T): T;
     |   ^~~~~~~~~~~~~~~~~~~~~~~~~~
  32 | }

inheritance.ts:45:3 - error SC1090: redeclaring inherited fields without an initializer (Node resets the field to undefined) is not supported yet

  44 |   // @ts-expect-error — tsc flags the overwrite (TS2612); the fence names Node's undefined reset
  45 |   name!: string;
     |   ^~~~
  46 | }

inheritance.ts:49:3 - error SC1090: redeclaring inherited fields at a different type is not supported yet

  48 |   // @ts-expect-error — tsc rejects the incompatible redeclare too; the fence names the reason
  49 |   name: number = 2;
     |   ^~~~
  50 | }

inheritance.ts:55:3 - error SC1090: overriding a method with a different signature (parameter and return types must match the base declaration exactly) is not supported yet

  54 | class Bivariant extends Animal {
  55 |   feed(other: Bivariant): string {
     |   ^~~~
  56 |     return other.name;

inheritance.ts:80:13 - error SC1090: statically-decided 'instanceof' on computed operands (bind the value to a variable first) are not supported yet

  79 | }
  80 | console.log(new Point() instanceof Point);
     |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
  81 | 

inheritance.ts:89:15 - error SC2004: uses of 'GenericAbstract' inherit the blocker on its declaration

  88 | new Impl().usesLimit();
  89 | const gaRef = GenericAbstract;
     |               ^~~~~~~~~~~~~~~
  90 | new Aliased();

  hint: the declaration of 'GenericAbstract' did not compile — fix the diagnostic reported there and these sites clear with it

inheritance.ts:91:1 - error SC1090: constructing through a class value whose class has no lowering (the class declaration itself was rejected — see its own diagnostic) is not supported yet

  90 | new Aliased();
  91 | new BareRepeat();
     | ^~~~~~~~~~~~~~~~
  92 | new RetypedRepeat();

inheritance.ts:92:1 - error SC1090: constructing through a class value whose class has no lowering (the class declaration itself was rejected — see its own diagnostic) is not supported yet

  91 | new BareRepeat();
  92 | new RetypedRepeat();
     | ^~~~~~~~~~~~~~~~~~~
  93 | new Bivariant();

inheritance.ts:93:1 - error SC1090: constructing through a class value whose class has no lowering (the class declaration itself was rejected — see its own diagnostic) is not supported yet

  92 | new RetypedRepeat();
  93 | new Bivariant();
     | ^~~~~~~~~~~~~~~
  94 | 