PR# 15772 Error in Watch tool

Problem Report Summary
Submitter: peter_gummer
Category: Debugger
Priority: Medium
Date: 2009/05/04
Class: Bug
Severity: Serious
Number: 15772
Confidential: No
Status: Closed
Environment: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_6; en-au) AppleWebKit/525.27.1 (KHTML, like Gecko) Version/3.2.1 Safari/525.27.1
Synopsis: Error in Watch tool

The debugger stopped at a postcondition failure in one of our classes' redefinition of is_equal. While investigating, I typed these two expressions into the Watch tool:

other ~ Current: BOOLEAN = True
Current ~ other	Error occurred (double click to see details)			Current feature	

I double-clicked to see the details. Here they are:

Error on expression : "Current ~ other"
Cannot find complete dynamic type of an expanded type.
ANY => ERROR : please report to support.
To Reproduce

Problem Report Interactions
From:jfiat_es    Date:2009/05/11    Download   
Ok, thank you for the precision.
This is not completly fixed by revision rev#78602.

From:peter_gummer    Date:2009/05/07    Download   
No, Jocelyn, it's not an expanded class. It's the class mentioned in .

From:jfiat_es    Date:2009/05/07    Status: Closed    Download   
I assume the related class was an expanded class?

It is now fixed in rev#78545