class
	TEST2 [G]

feature

	f
		require
			toot: side_effect (create {LINKED_LIST [G]}.make)
			titi: ({detachable G}) / (" ") /= Void
		do
			io.put_string ("TEST2.f")
			io.put_new_line
		end

	side_effect (a: ANY): BOOLEAN
		require
			a_not_void: a /= Void
		do
			io.put_string (a.generating_type.name_32.to_string_8)
			io.put_new_line
			Result := True
		end

end