PR# 16369 Strange errors when calling features of COMPARABLE on INTEGERs

When you call features of COMPARABLE directly on INTEGERs (directly meaning without using the infix aliases), then there are can occur two errors:

1. Precondition "other /= Void" failing, although a value is passed and the type of 'other' is expanded (the type of the argument in the debugger says "detachable INTEGER")

2. Segmentation fault

Run the following class, uncomment either one of the two lines in feature make two produce the errors:

class
	APPLICATION

create
	make

feature {NONE} -- Initialization

	make
			-- Run application.
		local
			i: INTEGER
			b: BOOLEAN
		do
--			b := i.is_greater_equal (0) -- Precondition violation (other /= Void)
			f (0) -- Segmentation fault in 'i.is_greater_equal'
		end

	f (i: INTEGER)
		require
			i.is_greater_equal (0)
		do

		end

end

The line with the segmentation fault works correctly in finalized mode.

The precondition violation happens also in finalized mode (keeping assertions when finalizing).

Could you tell me if finalized the code works properly?