1Test that structural redefinition works on classes with super-types and subtypes with virtual 2fields and methods so long as the target does not have any. 3