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