Declaring index signature based on property type gives invalid error

TypeScript Version: latest, demonstrable on playground (links below)

Search Terms: index signature diagnostics property type

Code:

interface BaseNode {
  kind: string;
  [key: string]: string | TokenNode["data"];
}

interface TokenNode extends BaseNode {
  kind: 'token';
  data: TokenData;
}

interface TokenData {
  offset: number;
  width: number;
  leading_width: number;
  trailing_width: number;
}

Expected behavior:

No errors, as the code is correct.

Actual behavior:

An error on interface TokenNode:

Interface 'TokenNode' incorrectly extends interface 'BaseNode'.
  Index signature is missing in type 'TokenNode'.

HOWEVER if I change TokenNode["data"] to its value TokenData, the error goes away.

Playground Link:

Code above displaying the error
Code above with the fix, no errors

Reproduziere beide verknüpften TypeScript Playground-Beispiele und vergleiche dabei die indexed-access-Form mit der äquivalenten TokenData-Form. Verfolge das Verhalten der Typprüfung für die Deklarationen der Schnittstellen BaseNode und TokenNode; abgeschlossen ist die Aufgabe, wenn die indexed-access-Version nicht mehr den Fehler wegen ungültiger Vererbung meldet, während der bestehende gültige Fall weiterhin fehlerfrei bleibt.