PR# 19637 Rename clause with multiple aliases not taken into account in redeclaration

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: High
Date: 2020/04/20
Class: Bug
Severity: Critical
Number: 19637
Release: 20.03.10.3992
Confidential: No
Status: Analyzed
Responsible:
Environment: win
Synopsis: Rename clause with multiple aliases not taken into account in redeclaration

Description
When compiling these classes:

~~~~~~~~~~~~~~
deferred class BB

feature

	product (other: INTEGER): INTEGER
		deferred
		end
		
end
~~~~~~~~~~~~~~
class CC

inherit

	BB
		rename
			product as product alias "*" alias "×"
		end
		
feature

	product alias "*" alias "×" (other: INTEGER): INTEGER
		do
			Result := other * 2
		end
		
end
~~~~~~~~~~~~~~

EiffelStudio complains:

~~~~~~~~~~~~~~
1	ECMA-VDRD(7)	Redeclaration has different alias.	CC (bb)			
		Error code: ECMA-VDRD(7)

Error: redeclaration has different alias.
What to do: make sure the aliases are the same.

Class: CC
Feature: product alias "*" alias "×" (other: INTEGER_32): INTEGER_32 Version from: CC
Feature: product alias "*" (other: INTEGER_32): INTEGER_32 Version from: BB				
~~~~~~~~~~~~~~

as if it did not take into account the second alias in the rename clause.

--
Eric Bezault
To Reproduce

										
Problem Report Interactions
From:alexk_es    Date:2020/04/22    Status: Analyzed    Download   
Added eweasel test#syntax075.