@@ -752,10 +752,15 @@ // subclass/subinterface checks bool implements_interface(Klass* k) const; bool is_same_or_direct_interface(Klass* k) const; +#ifdef ASSERT + // check whether this class or one of its superclasses was redefined + bool has_redefined_super() const; +#endif + // Access to the implementor of an interface. Klass* implementor() const { Klass** k = adr_implementor(); if (k == NULL) {