class TEST
inherit	
	TEST1
		redefine
			value, anchor
		end

create
	make

feature

	make
		local
			t2: TEST2 [TEST, TEST1]
		do
			print (value)
			create t2.make
		end

	value: like anchor
		local
			t: TUPLE [like anchor]
		do
			t := [Precursor]

			print (t.generating_type)
			io.put_new_line

			print (([Precursor]).generating_type)
			io.put_new_line

			print ((<< Precursor >>).generating_type)
			io.put_new_line
		end

	anchor: STRING

end