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

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