Clarifies when ClassCastException may be thrown