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.