PR# 751 Repeated inheritance with generic features fails to work correctly

Problem Report Summary
Category: Compiler
Priority: Medium
Date: 1999/05/14
Class: Bug
Severity: Serious
Number: 751
Release: 4.3
Confidential: No
Status: Analyzed
Environment: Mozilla/4.08 [en] (WinNT; I) Windows 95, VC++ 4.2
Synopsis: Repeated inheritance with generic features fails to work correctly

If you repeatedly inherit a generic feature but define the different
instances of the feature with different generic parameters, both features
will be of the first generic type listed in the inheritance clause.

I would have expected the different features to have the generic parameters
specified within the inheriting class' inheritance clause.
To Reproduce
Just compile my attached example.
Problem Report Interactions
From:manus_eiffel    Date:2009/07/02    Download   
ECMA does not allow such things although the compiler should be complaining. See eweasel test#valid255.

From:    Date:1999/05/14    Download   
State-Changed-From-To: open-analyzed
State-Changed-By: Stephane
State-Changed-When: Fri May 14 15:05:46 PDT 1999
Dear Loryn,

We succeed in reproducing the problem and are working on it.
We'll let you know as soon as it is fixed.