サブタイプ
部分型のこと
T2
の型が期待されている箇所で、
T2
の型の値の代入の代わりに
T1
型を渡しても問題ない場合、
T1
は
T2
の
部分型
といえる。
ジェネリクスでは
T1 <: T2
と表記できる