PR# 16959 Feature anchored to redefined version of itself via QAT reported as VTAT(1) error

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/07/11
Class: Bug
Severity: Non-critical
Number: 16959
Release: 6.6.83858
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: Feature anchored to redefined version of itself via QAT reported as VTAT(1) error

Description
A feature that is anchored via a QAT to a redefined version of itself,
where the redefined feature has a type that does not involve any
anchors, is reported to violate VTAT(1).  I don't see any cycles,
so I'm reporting this (fairly weird) case as a bug.  If I'm wrong,
please correct the test and close the bug.

Added eweasel test anchor052 for this bug.
To Reproduce
Run eweasel test anchor052.
Problem Report Interactions
From:alexk_es    Date:2010/10/31    Download   
The regression is fixed in rev#84764.

From:alexk_es    Date:2010/07/13    Status: Closed    Download   
Fixed in rev#83889 of EiffelStudio 6.7 intermediate release.