PR# 19297 [er] Non-conforming inheritance and VMCS

I have the following classes:

~~~~~~~~~~~~~~~~~~~~~
class AA

feature

	f (i: INTEGER)
		do
				x := i
		end

	x: INTEGER

end
~~~~~~~~~~~~~~~~~~~~~
class BB

inherit {NONE}

	AA
		rename
			x as x1
		end

	AA
		rename
			x as x2
		end

end
~~~~~~~~~~~~~~~~~~~~~

According to ECMA, the compiler should report a VMCS error because `f' is shared and `x' is replicated.
But the compiler does not report an error and instead chooses arbitrarily `x1' as the target of the assignment in B.f.

--
Eric Bezault

Our current implementation of non-conforming inheritance is not complete at the moment. There is a hidden switch that follows the standard better but it was a breaking changes for existing library. We should have disabled the support as well instead of relying on this hidden option.

For the time being, we would recommend not using it.