nitc :: ContractsVisitor :: current_location
current_location
# The `current_location` can corresponding of the annotation or method location. var current_location: Location is noinit