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

リンクされた両方の TypeScript Playground の例を再現し、indexed-access 形式と同等の TokenData 形式を比較します。BaseNode と TokenNode の interface 宣言について、型チェックの動作を追跡します。完了条件は、indexed-access 版で無効な継承エラーが報告されなくなり、既存の有効なケースが引き続きエラーなしであることです。