PR# 11542 VJRV warning in TYPE

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Medium
Date: 2006/10/12
Class: Bug
Severity: Serious
Number: 11542
Release: 5.7.64209
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.0.7) Gecko/20060909 Firefox/1.5.0.7
Synopsis: VJRV warning in TYPE

Description
When I rebuild one of my projects I get this warning:

Warning code: VJRV(2)
Error: type of assignment target (formal generic parameter)
       may represent an expanded type.
What to do: make sure the target is of a reference type. 

Class: TYPE [G]
Feature: attempt
Target name: Result
Target type: Generic #1
Line: 45
      do
->      Result ?= obj
      ensure
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions