Type Conflicts is a tool that can be opened from the VisualWorks launcher. When it is open, accepting methods can trigger type conflicts that are then shown in this window. Conflicts can be clicked, and then a Typing Conflict Resolver window will open, allowing to view the differences in detail.
Using the menu, the interactive type checking can be enabled, and the displaying of conflicts can be controlled.