Allow type aliases to reference themselves in type argument positions

オープン

#35,017 2019年11月9日に作成コメント 18 件リアクション 1 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

Awaiting More Feedback Suggestion

説明

TypeScript Version: 3.8.0-dev.20191105

Search Terms:
circular

Code

type A<T> = { x: T }
type R = A<R> // FAIL

type B = { x: B } // OK

Expected behavior:
Both cases throw no error.

Actual behavior:
Type R is rejected due to a circular reference.

Playground Link:
Link

リンクされた TypeScript Playground で A、R、B エイリアスを使用して動作を再現し、報告された循環参照の診断結果を期待される動作と比較してください。型エイリアス R が直接再帰的な型 B と同じ方法で受け入れられ、既存のケースにエラーを導入しない状態を完了とします。

索引モデルが issue の本文から書いたものです。

初心者向けの GitHub issue を短くまとめたダイジェスト。