This tests to see if the VM allows you to store a reference to an inappropriate object type in an instance field. By compiling two versions of the field-holder class we can bypass the compiler's type safety.