Diagnosis
A specialization was done for object instance &v1&. The object type wasdefined more precisely as a sub-type of the original object type.