The current_location can corresponding of the annotation or method location.

Property definitions

nitc $ ContractsVisitor :: current_location
	# The `current_location` can corresponding of the annotation or method location.
	var current_location: Location is noinit
src/contracts.nit:94,2--95,41