型 B の値の範囲が型 A が取り得るすべての値を格納できるほど大きくないにもかかわらず、型 A の式が型 B のコンテキストで使用されている場合 (代入、キャスト、パラメーターとして渡されている、メソッド、関数、またはブロックから返されているなど) に報告します。