class PARENT

create
	make
feature
	
	make
		do
			create a
			print (a.generating_type); io.new_line
		end

	a: like {TEST1 [like b.weasel.weasel]}.default
	
	b: TEST3 [TEST3 [DOUBLE]]
end