checkCast should throw ClassCastException.