[□] □
[□=□] □
[□ & □] □
Condition-types must be a list of condition types ; signalling a condition whose type is a specialization of any of these types will cause the handler to be invoked . Objects , whose type is not a subclass of the type of the field or array element , will later abort the deserialization by raising a ClassCastException and the reference will not be stored . More formally : an assignment to an element of an array whose type is A [ ] , where A is a reference type , is checked at run-time to ensure that the value assigned can be assigned to the actual element type of the array , where the actual element type may be any reference type that is assignable to A. Java Virtual Machine signals this error to the program as an exception . An input list item will become defined with a datum whose type is the same as that of the list item . A PSA is polymorphic in the sense that it depends on a signature , which consists of a number of type variables , and a number of symbols whose types can be built from the type variables . Note that an expression whose type is a class type F that is declared final is guaranteed to have a value that is either a null reference or an object whose class is F itself , because final types have no subclasses .