PR# 13803 Adding feature makes rename in generic constraint invalid but compiler misses VTGC(2)

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2007/12/20
Class: Bug
Severity: Serious
Number: 13803
Release: 6.1.71477
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.0.7) Gecko/20060915 Firefox/1.5.0.7 Solaris 9 on SPARC
Synopsis: Adding feature makes rename in generic constraint invalid but compiler misses VTGC(2)

Description
A generic class has header

   class TEST1 [G -> TEST rename weasel as stoat end create try end]

After initial compilation, a feature `stoat' is added to TEST, introducing
a VTGC(2) error but on recompile the compiler does not detect the error.

This is similar to other existing tests but may test a different path
since a feature is added rather than removed.
To Reproduce
Compile with attached classes.  Uncomment feature `stoat' in TEST.
Compile.  Compiler does not detect VTGC(2) error.
Problem Report Interactions
From:prestoat2000    Date:2008/12/17    Download   
Added eweasel test incr299 for this bug.

From:prestoat2000    Date:2007/12/20    Download   
Attachments for problem report #13803

Attachment: test.e     Size:243
Attachment: test1.e     Size:144