KDOC 432: 型アサーションは何を見て判断しているのか?

この文書のステータス

  • 作成
    • 2025-09-04 貴島
  • レビュー
    • 2025-09-04 貴島

概要

KDOC 430: エイリアス型に対する型アサーションを見るで、エイリアス型を型アサーションしたとき、基底型でも通るのを見た。型アサーションは何を見て判断しているのだろうか。

関連

抽象。

  • 別名を付けた型が、判定では元の型と同じものとして通る

関連。