PR# 20000 Once classes: invalid inspect value: wrong number of actual arguments

The validity rule VOMB-1 says that the inspect values should be valid.
In the example below, the inspect value `{BB}.f (3)` is not valid because `f` has no formal argument.

--
Eric Bezault

class AA

create

	make

feature

	make
		local
			b: BB
		do
			create b.f
			inspect b
			when {BB}.f (3) then
			else
			end
		end
	
end
~~~~~~~~~~~~~~~
once class BB

create

	f

feature

	f
		once
		end

end

Do I win something for submitting the 20,000th problem report?

--
Eric Bezault