Used to inform self that the iteration is over.
Specific iterators can use this to free some resources.
Is automatically invoked at the end of for structures.
Do nothing by default.
	# Post-iteration hook.
	#
	# Used to inform `self` that the iteration is over.
	# Specific iterators can use this to free some resources.
	#
	# Is automatically invoked at the end of `for` structures.
	#
	# Do nothing by default.
	fun finish do end
					lib/core/collection/abstract_collection.nit:262,2--270,18
				
	redef fun finish do _array._free_iterator = self
					lib/core/collection/array.nit:572,2--49
				
	redef fun finish
	do
		if close_on_finish then stream.close
	end
					lib/core/stream.nit:506,2--509,4
				
        redef fun finish
        do
                sorted_iter.finish
        end
					lib/functional/iter_extras.nit:382,9--385,11
				
	# Do not cache `self`
	redef fun finish do end
					lib/core/collection/array.nit:587,2--588,24