class TEST1
feature
	value: TEST2
	       local
			t: TUPLE [c: TUPLE [x: TEST2]]
			v: TUPLE [x: TEST2]
	       do
			t := [v]
			print (t.c.generating_type); io.new_line
	       end

end