class TEST

create
	make

feature {NONE} -- Creation

	make
			-- Run the test.
		do
			test_outer_scopes (Current, Current)
			test_inner_scopes (Current)
		end

feature -- Test

	x1
			-- A feature that is used to test name clashes.
		do
		end

	test_outer_scopes (x2: separate TEST; y: separate TEST)
			-- Test that separate instructions cannot name arguments with the same names as those used in outer scopes.
		local
			x3: detachable separate TEST
		do
			separate y as x1 do end -- FRESH_IDENTIFIER: Clash with a feature name.
			separate y as x2 do end -- FRESH_IDENTIFIER: Clash with a feature argument name.
			separate y as x3 do end -- FRESH_IDENTIFIER: Clash with a feature local name.
			(agent (x4: detachable separate TEST; z: separate TEST)
				local
					x5: detachable separate TEST
				do
					separate z as x4 do end -- FRESH_IDENTIFIER: Clash with an agent argument name.
					separate z as x5 do end -- FRESH_IDENTIFIER: Clash with an agent local name.
				end
			(Void, Current)).do_nothing
			if attached y as x6 then
				separate y as x6 do end -- FRESH_IDENTIFIER: Clash with an object test local name.
			end
			across
				out as x7
			loop
				separate y as x7 do end -- FRESH_IDENTIFIER: Clash with a loop cursor name.
			end
			separate y as x8 do
				separate y as x8 do end -- FRESH_IDENTIFIER: Clash with an inline separate argument name.
			end
			separate y as x9, y as x9 do end -- FRESH_IDENTIFIER: Clash with an inline separate argument name.
		end

	test_inner_scopes (y: separate TEST)
			-- Test that constructs nested in a separate instruction cannot declare names of the separate instruction arguments.
		do
			separate y as x do
				;(agent (x: detachable separate TEST) -- VPIR(1): Clash with an agent argument name.
					do
					end (Void)).do_nothing
				;(agent
					local
						x: detachable separate TEST -- VPIR(1): Clash with an agent local name.
					do
					end).do_nothing
				if attached y as x then end -- VUOT(1): Clash with an object test local name.
				across out as x loop end -- VOIT(2): Clash with a loop cursor name.
			end
		end

end