KDOC 432: 型アサーションは何を見て判断しているのか?
この文書のステータス
- 作成
- 2025-09-04 貴島
- レビュー
- 2025-09-04 貴島
概要
KDOC 430: Goのbyte型の値はuint8の型アサーションも通るで、エイリアス型を型アサーションしたとき、基底型でも通るのを見た。型アサーションは何を見て判断しているのだろうか。
関連
抽象。
- 別名を付けた型が、判定では元の型と同じものとして通る
関連。
- 動機: KDOC 430: Goのbyte型の値はuint8の型アサーションも通る。なぜなのか説明できなかったため
- 未解決: なにを見て判断しているか