PR# 16787 EiffelStudio create the 'Equals' feature but sometimes should not
Problem Report Summary
Environment: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US) AppleWebKit/533.4 (KHTML, like Gecko) Chrome/5.0.375.55 Safari/533.4
Synopsis: EiffelStudio create the 'Equals' feature but sometimes should not
When creating a .NET application, if a class inherits from a .NET class and doesn't redefine the 'Equals' feature, the compiler will automatically provide a redefinition. However, classes inheriting from the DependencyObject class must not redefine this feature because it's declared as 'final' in .NET. Since the compiler provides this redefinition, no program with classes inheriting from DependencyObject directly or indirectly can execute. This includes most classes of the PresentationFramework assembly. See http://eiffelroom.org/node/416 for more information. This is a duplicate of issue #15392.
To reproduce the bug, compile the attached project and run it. It will generate an exception on load.