PR# 19499 VAPE not reported during incremental compilation

If I have the following class:

~~~~~~~~~~~~~~~~~~
class Y

feature {X}

	f
		require
			g
		do
		end

feature {NONE}

	g: BOOLEAN
		do
			Result := True
		end
		
end
~~~~~~~~~~~~~~~~~~

and class X does not exist, and then I have the following code:

~~~~~~~~~~~~~~~~~~
	f
		local
			y: Y
		do
			create y
		end
~~~~~~~~~~~~~~~~~~

the code compiles without any errors. If later I add class X:

~~~~~~~~~~~~~~~~~~
class X
end
~~~~~~~~~~~~~~~~~~

and change `f' to be:

~~~~~~~~~~~~~~~~~~
	f
		local
			y: Y
			x: X
		do
			create y
			create x
		end
~~~~~~~~~~~~~~~~~~

the compiler fails to report a VAPE validity error in class Y (`g' appearing in the precondition of `f' is not exported to X).

If I recompile from scratch, then the VAPE validity error is successfully reported.

--
Eric Bezault