class TEST1

feature

	make is
		local
			i: INTEGER
		do
			inspect i
			when static_type then
			when field_type then
			end
		end

	static_type: INTEGER = 1
	field_type: INTEGER = 2

end