PR# 16878 Changing QAT feature type from class type to `like Current' crashes compiler in degree 4

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/19
Class: Bug
Severity: Serious
Number: 16878
Release: 6.6.83602
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x64
Synopsis: Changing QAT feature type from class type to `like Current' crashes compiler in degree 4

Description
After initial compilation, changing the type of a feature
involved in a qualified anchored type in a constrained generic
class from TEST4 to `like Current' crashes the compiler in degree 4 with:

-------------------------------------------------------------------------------
CL_TYPE_A           is_expanded @1                                      
<00000000095F03F8>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------

There are no expanded classes involved in this case.

Added eweasel test incr356 for this bug.

To Reproduce
Run eweasel test incr356.
Problem Report Interactions
From:alexk_es    Date:2010/06/25    Status: Closed    Download   
Fixed in rev#83707 of EiffelStudio 6.7 intermediate release.