fn validate_restrictions(map: &Map, steps: &[PathStep])