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

Riproduci entrambi gli esempi collegati di TypeScript Playground, confrontando la forma indexed-access con l’equivalente forma TokenData. Traccia il comportamento del controllo dei tipi per le dichiarazioni delle interfacce BaseNode e TokenNode; il lavoro è completato quando la versione indexed-access non segnala più l’errore di ereditarietà non valida, mentre il caso valido esistente continua a non presentare errori.