継承関係において、サブクラスのインスタンスをスーパークラスの型に代入することを何というか。

オーバーライド時に付与することで、記述ミスをコンパイラにチェックさせるアノテーションはどれか。