class
	TEST1 [G -> ?COMPARABLE, H -> ?NUMERIC]

create
	default_create,
	from_comparable

convert
	to_test: {TEST},
	from_comparable ({COMPARABLE})

feature

	test1 (a_item: G)
		local
			b: BOOLEAN
		do
			b := a_item < item (2)
		end

	test2 (a_item: G)
		local
			b: BOOLEAN
		do
			if a_item /= Void then
				b := a_item < item (2)
			end
		end

	test3 (a_item: G)
		local
			b: BOOLEAN
		do
			b := item (2) < a_item
		end

	test4 (a_item: G)
		local
			b: BOOLEAN
		do
			if a_item /= Void then
				b := item (2) < a_item
			end
		end
		
	test5 (a_item: G)
		local
			b: BOOLEAN
		do
			b := a_item.is_less (item (2))
		end

	test6 (a_item: G)
		local
			b: BOOLEAN
		do
			if a_item /= Void then
				b := a_item.is_less (item (2))
			end
		end

	test7 (a_item: G)
		local
			b: BOOLEAN
		do
			b := item (2).is_less (a_item)
		end

	test8 (a_item: G)
		local
			b: BOOLEAN
		do
			if a_item /= Void then
				b := item (2).is_less (a_item)
			end
		end

	test1p (a_item: H)
		local
			a: ?ANY
		do
			a := + a_item
		end

	test2p (a_item: H)
		local
			a: ?ANY
		do
			if a_item /= Void then
				a := + a_item
			end
		end

	test3p (a_item: H)
		local
			a: ?ANY
		do
			a := a_item.identity
		end

	test4p (a_item: H)
		local
			a: ?ANY
		do
			if a_item /= Void then
				a := a_item.identity
			end
		end

	test1c (b: TEST)
		local
			a: ?TEST1 [G, H]
			c: TEST
		do
			c := a + b
		end

	test2c (b: TEST)
		local
			a: ?TEST1 [G, H]
			c: TEST
		do
			if a /= Void then
				c := a + b
			end
		end

	test3c (b: TEST)
		local
			a: ?TEST1 [G, H]
			c: TEST
		do
			c := b + a
		end

	test4c (b: TEST)
		local
			a: ?TEST1 [G, H]
			c: TEST
		do
			if a /= Void then
				c := b + a
			end
		end

	test1f (a: ?COMPARABLE)
		local
			b: BOOLEAN
		do
			b := a < Current
		end

	test2f (a: ?COMPARABLE)
		local
			b: BOOLEAN
		do
			if a /= Void then
				b := a < Current
			end
		end

	test3f (a: ?COMPARABLE)
		local
			b: BOOLEAN
		do
			b := Current < a
		end

	test4f (a: ?COMPARABLE)
		local
			b: BOOLEAN
		do
			if a /= Void then
				b := Current < a
			end
		end

	test1g (a: COMPARABLE)
		local
			b: BOOLEAN
		do
			b := a < Current
		end

	test2g (a: COMPARABLE)
		local
			b: BOOLEAN
		do
			if a /= Void then
				b := a < Current
			end
		end

	test3g (a: COMPARABLE)
		local
			b: BOOLEAN
		do
			b := Current < a
		end

	test4g (a: COMPARABLE)
		local
			b: BOOLEAN
		do
			if a /= Void then
				b := Current < a
			end
		end

	item (i: INTEGER): G
		local
			l_g: ?G
		do
			check l_g /= Void end
			Result := l_g
		end

feature -- Basic operations

	plus alias "+" (other: ?TEST1 [G, H]): TEST1 [G, H]
		do
			Result := Current
		end

	less alias "<" (other: ?TEST1 [G, H]): BOOLEAN
		do
		end

feature -- Conversion

	from_comparable (c: COMPARABLE)
		do
		end

	to_test: TEST
		do
			create Result.make (<<>>)
		end

end