pub fn filename_navigate( report: &mut Report, span: Span, current: &str, nav: &str ) -> Result<String, ()>