class TEST1 [G]

create
	make

feature {NONE} -- Creation

	make
		do
			create att_x.make (10)
			create y.make (10)
		end

feature

	test_formals (v1: G; v2: detachable G; v3: G) is
		do
		end

	test_anchors_1 (v1: like x; v2: like att_x; v3: like det_x) is
		do
		end

	test_anchors_2 (v1: like y; v2: attached like y; v3: detachable like y) is
		do
		end

	y: detachable STRING

	x: like y
	att_x: attached like y
	det_x: detachable like y


end