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
			Added eweasel test#syntax075.