class TEST2 [G]

feature

	set_x (a_x: Y [G])
		do
			f (a_x)
		end

	set_y (a_x: Y [G])
		do
			a_x.do_nothing
		end

	f (a: ANY)
		do

		end
end