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

Reproduisez les deux exemples TypeScript Playground liés, en comparant la forme indexed-access avec la forme TokenData équivalente. Suivez le comportement de la vérification des types pour les déclarations des interfaces BaseNode et TokenNode ; le travail est terminé lorsque la version indexed-access ne signale plus l’erreur d’héritage invalide, tandis que le cas valide existant reste exempt d’erreur.