PR# 17693 Qualified anchored type referencing old name of renamed generic violates precondition

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/06/23
Class: Bug
Severity: Serious
Number: 17693
Release: 7.0.86775
Confidential: No
Status: Closed
Responsible: alexk_es
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris on x86
Synopsis: Qualified anchored type referencing old name of renamed generic violates precondition

Description
A qualified anchored type `like {G}.default' where G is a formal generic
that includes a clause "rename default as weasel end" should cause the
compiler to report a VEEN error.  The standard compiler works correctly,
but an assertion-enabled compiler crashes with a violation of precondition
`valid_n' of {TYPE_A_FEATURE_FINDER}.feature_in_class_by_name.

Added eweasel test anchor061 for this bug.  The test only fails with an
assertion enabled compiler.
To Reproduce
Run test anchor061 with an assertion-enabled compiler (preconditions).
Problem Report Interactions
From:alexk_es    Date:2013/07/03    Status: Closed    Download   
Fixed in rev#92776 of EiffelStudio 7.4 intermediate release.