fn push_location_range(str: &mut String, location1: Location, location2: Location)