PR# 19437 [er] VUCR not reported for arguments of creation procedures

Problem Report Summary
Submitter: axarosenberg
Category: Compiler
Priority: High
Date: 2018/04/20
Class: Bug
Severity: Critical
Number: 19437
Release: 18.01
Confidential: No
Status: Closed
Responsible:
Environment: win
Synopsis: [er] VUCR not reported for arguments of creation procedures

Description
The compiler correctly reports a VUCR error with the following code:

~~~~~~~~~~~~~~~~
	f
		do
			g
		ensure
			class_feature: class
		end

	g
		do
		end
~~~~~~~~~~~~~~~~

but not for this one:

~~~~~~~~~~~~~~~~
	f: X
		do
			create Result.make (g)
		ensure
			class_feature: class
		end

	g: INTEGER
		do
		end
~~~~~~~~~~~~~~~~

--
Eric Bezault
To Reproduce

										
Problem Report Interactions
From:alexk_es    Date:2018/12/13    Status: Closed    Download   
Added test#free025.
Fixed in rev#102586 of EiffelStudio 19.05 intermediate release.