PR# 17227 VLEC cycle in expanded client relation

Problem Report Summary
Submitter: jsostroff
Category: Compiler
Priority: Medium
Date: 2010/12/16
Class: Bug
Severity: Serious
Number: 17227
Release: 6.7.8.5123 GPL Edition - win64
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64; Trident/4.0; GTB6.6; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR 3.0.30729; Media Center PC 6.0; InfoPath.2; .NET4.0C; .NET4.0E)
Synopsis: VLEC cycle in expanded client relation

Description
This may not be a bug, but I am reporting it anyway in case it is. Consider a class

expanded class
	JUNK[G]
feature

end

Now do:

j: JUNK[JUNK[INTEGER]]

What we get is

Error code: VLEC

Error: cycle in expanded client relation.
What to do: make sure that class is not expanded client of any class
  which is its direct or indirect expanded client. 

Class: APPLICATION
Name of class involved in cycle: JUNK			


However, I don't (yet) see why this should be a compile error.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2018/09/04   
																							Status: Open   
											
											Download   
										

										

                                            
											
										 	
To clarify the issue, the error is reported when `j` is an attribute (in some other class), or even a feature of that type or has an argument of that type. Everything compiles fine when `j` is a local variable.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2018/09/04   
																							Status: Open   
											
											Download   
										

										

                                            
											
										 	
Changing the category to "Compiler".

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2018/09/04   
																							Status: Open   
											
											Download   
										

										

                                            
											
										 	
The issue is still reproducible with test#valid066. Reopening the report.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2018/09/04   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
The error is not reported by EiffelStudio 18.07. Closing the report.