A creation instruction `create {C} f' where f is of type C becomes
invalid in a descendant when the type of f is redefined to be a
descendant of C.  The compiler should report some kind of validity
violation, but it does not.

Reported by Manu on version 5.1.3.