型 A と型 B がクラス型であり、B が A のスーパークラスではないという状況で型 A の式が型 B のコンテキストで使用されている場合 (代入、キャスト、パラメーターとして渡されている、メソッド、関数、またはブロックから返されているなど) に報告します。